Building
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3586-3587 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15740-15741 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1678-1678 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2127-2127 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | 建筑物 是 固定人工制品 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15756-15756 | 房间 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7320-7320 | 礼堂 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15736-15736 | 谷仓 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 648-648 | 棒球独木舟 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7044-7044 | 商业建筑 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22390-22390 | 娱乐建筑 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | 农场建设 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22402-22402 | 政府大楼 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26503-26503 | HighRise 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2934-2934 | 家庭车库 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 132-132 | HotelVilla 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8476-8476 | LibraryBuilding 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7667-7667 | 医疗诊所大楼 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22477-22477 | 办公楼 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2935-2935 | 停车库 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22520-22520 | 礼拜的场所 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20922-20922 | 警察设施 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7904-7904 | 宗教建筑 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15803-15803 | 住宅楼 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22556-22556 | 餐厅建筑 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22482-22482 | 学校楼 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7079-7079 | 商店 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2919-2919 | 航站楼 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3076-3076 | 收费站 是 建筑物 的 subclass |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1051-1051 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 702-702 | numberOfFloors 的 1 数量 是 建筑物 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26159-26171 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15097-15107 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15073-15085 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6921-6927 | |
No TPTP formula. May not be expressible in strict first order. | TransportDetail.kif 102-121 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15743-15753 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5043-5051 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8776-8797 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6721-6727 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21183-21192 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15411-15420 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20552-20559 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20792-20799 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15299-15306 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15427-15440 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15373-15378 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15486-15491 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15622-15637 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9145-9150 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15399-15404 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8499-8506 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9133-9139 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15689-15696 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15644-15649 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15346-15351 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15762-15767 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7913-7918 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15176-15184 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15312-15319 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15290-15297 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26021-26032 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |