No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6980-6980 |
Dormitory is disjoint from single family residence |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6981-6982 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1731-1731 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2149-2149 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2150-2150 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6978-6978 |
Dormitory is a subclass of residential building |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6979-6979 |
Dormitory is a subclass of temporary residence |