more pictures...
| ResidentialBuilding(residential building)
more pictures... | | abode, residence |
| 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 15827-15833 | |
| 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 15825-15825 | Residential building is a subclass of building |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15826-15826 | 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 15736-15736 | Barn is disjoint from residential building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | Farm building is disjoint from residential building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6935-6935 | Apartment building is a subclass of residential building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6950-6950 | Condominium building is a subclass of residential building |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6977-6977 | 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 15791-15791 | 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 8180-8185 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15803-15810 |
|
|
|
|