No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17091-17095 |
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 7714-7716 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9715-9720 |
|
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 9539-9544 |
|
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 30316-30323 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15385-15392 |
|
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 19220-19231 |
|