No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6980-6980 |
Dormitory e' disjunto de SingleFamilyResidence |
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 e' uma sub-classe de ResidentialBuilding |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6979-6979 |
Dormitory e' uma sub-classe de TemporaryResidence |