ResidentialBuilding
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3599-3601 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15805-15811 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2333-2333 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2334-2334 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2331-2331 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1953-1953 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2332-2332 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15803-15803 | Residential building is a subclass of building |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15804-15804 | Residential building is a subclass of residence |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15737-15737 | Barn is disjoint from residential building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7092-7092 | Farm building is disjoint from residential building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6936-6936 | Apartment building is a subclass of residential building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6951-6951 | Condominium building is a subclass of residential building |
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. | Hotel.kif 77-77 | Hotel is a subclass of residential building |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15769-15769 | House is a subclass of residential building |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49634-49634 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49633-49633 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 49632-49632 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8181-8186 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15781-15788 |
|