No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21548-21551 |
|
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 21547-21547 |
Opening is internally related to closing |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21546-21546 |
Opening is a subclass of motion |