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 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 | 住宅楼 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15826-15826 | 住宅楼 是 住宅 的 subclass |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15736-15736 | 谷仓 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | 农场建设 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6935-6935 | 公寓楼 是 住宅楼 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6950-6950 | 公寓大楼 是 住宅楼 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6977-6977 | 宿舍 是 住宅楼 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 77-77 | HotelBuilding 是 住宅楼 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15791-15791 | 屋 是 住宅楼 的 subclass |
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 |
![]() |
![]() |