No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19107-19107 |
上午 和 % 2 是 disjoint |
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 |
上午 是 时距 的 subclass |