No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17113-17117 |
Objet est Below � objet objet est On � objet objet est Above � objet |
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 |
|