No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19106-19106 |
Ante meridiem is disjoint from post meridiem |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19091-19092 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5857-5857 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6100-6100 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6101-6101 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19090-19090 |
Ante meridiem is a subclass of time interval |