No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17113-17117 |
An object is below to another object if and only if the other object is on to the object or the other object is above to the object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7736-7738 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9737-9742 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1469-1481 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1488-1500 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5561-5570 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9538-9543 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4288-4297 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1157-1165 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30304-30311 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15384-15391 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2037-2046 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3878-3886 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3958-3969 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19219-19230 |
|