No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19134-19134 |
Ante meridiem is disjoint from post meridiem |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19119-19120 |
|
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 19118-19118 |
Ante meridiem is a subclass of time interval |