No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11082-11082 |
MotionUpward est disjoint de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13102-13102 |
Bowing est une sous-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13119-13119 |
Ducking est une sous-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11603-11603 |
Falling est une sous-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13095-13095 |
Inclining est une sous-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19860-19860 |
LyingDown est une sous-classe de MotionDownward |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19905-19905 |
SittingDown est une sous-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 |
|