#26 typeGenls does it work??

v0.7
open
nobody
5
2004-02-18
2004-02-18
No

1.
Mt : AnimalPhysiologyMt
HL Formula :
(typeGenls AnimalBodyPartType AnimalBodyRegion)

2.
Strength : Monotonic Direction : Forward
Arguments : 1 No Dependents
Asserted locally by Cyc administrator on Feb 12, 2004 at
13:09:46
Mt : UniversalVocabularyMt
HL Formula :
(isa Colon AnimalBodyPartType)

3a.
Status : Suspended, Exhaust
Mt : AnimalPhysiologyMt
EL Query :
(genls Colon AnimalBodyRegion)
No answers

3b.
Status : Suspended, Exhaust
Mt : InferencePSC
EL Query :
(implies
(isa ?X AnimalBodyPartType)
(genls ?X AnimalBodyRegion))
No answers

Discussion

  • Casey McGinnis
    Casey McGinnis
    2005-02-10

    Logged In: YES
    user_id=1085367

    (genls Colon AnimalBodyRegion) should be automatically
    concluded via the following forward rule:

    Strength : Default Direction : Forward Arguments : 1
    Dependents : 3389
    Asserted locally on Oct 30, 2001 at 16:38:53 for GeneralCycKE

    Backward Inference Statistics : 0 utility, never considered

    HL Formula :

    Mt : UniversalVocabularyMt
    (implies
    (and
    (isa ?COLTYPE-INST ?COLTYPE)
    (typeGenls ?COLTYPE ?COL))
    (genls ?COLTYPE-INST ?COL))

     
  • Casey McGinnis
    Casey McGinnis
    2005-02-10

    Logged In: YES
    user_id=1085367

    (genls Colon AnimalBodyRegion) should be automatically
    concluded via the following forward rule:

    Strength : Default Direction : Forward Arguments : 1
    Dependents : 3389
    Asserted locally on Oct 30, 2001 at 16:38:53 for GeneralCycKE

    Backward Inference Statistics : 0 utility, never considered

    HL Formula :

    Mt : UniversalVocabularyMt
    (implies
    (and
    (isa ?COLTYPE-INST ?COLTYPE)
    (typeGenls ?COLTYPE ?COL))
    (genls ?COLTYPE-INST ?COL))