Dormitory(dormitory)![]() ![]() | ![]() | dorm, dormitory, hall, residence_hall, student_residence |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8141-8141 | Dormitory is disjoint from single family residence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8142-8143 | Dormitory is disjoint from single family residence |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1730-1730 | Dormitory is disjoint from single family residence |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2148-2148 | Dormitory is disjoint from single family residence |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2149-2149 | Dormitory is disjoint from single family residence |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8139-8139 | Dormitory is a subclass of residential building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8140-8140 | Dormitory is a subclass of temporary residence |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20217-20217 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20216-20216 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20215-20215 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8145-8150 |
![]() |
![]() |