No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21520-21523 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11553-11553 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11557-11557 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11555-11555 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11554-11554 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10168-10168 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11556-11556 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21519-21519 |
Opening is internally related to closing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21518-21518 |
Opening is a subclass of motion |