No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19107-19107 |
不相交的 午前 and 發布meridiem |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19092-19093 |
|
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 19091-19091 |
子類 午前 and TimeInterval |