No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11060-11060 |
MotionUpward e' disjunto de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13103-13103 |
Bowing e' uma sub-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13120-13120 |
Ducking e' uma sub-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11581-11581 |
Falling e' uma sub-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13096-13096 |
Inclining e' uma sub-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19861-19861 |
LyingDown e' uma sub-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19906-19906 |
SittingDown e' uma sub-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38721-38721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38720-38720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38719-38719 |
|