Menu
▾
▴
#26 typeGenls does it work??
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
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))
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))