No TPTP formula. May not be expressible in strict first order. | Merge.kif 15739-15739 | 子類 Building and StationaryArtifact |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2919-2919 | 子類 航站樓 and Building |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2934-2934 | 子類 家庭車庫 and Building |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2935-2935 | 子類 停車庫 and Building |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3076-3076 | 子類 收費站 and Building |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 648-648 | 子類 棒球獨木舟 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7044-7044 | 子類 商業建築 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7079-7079 | 子類 商店 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7091-7091 | 子類 農場建設 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7320-7320 | 子類 禮堂 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7667-7667 | 子類 醫療診所大樓 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7904-7904 | 子類 宗教建築 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8476-8476 | 子類 LibraryBuilding and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15736-15736 | 子類 穀倉 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20922-20922 | 子類 警察設施 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22390-22390 | 子類 娛樂建築 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22402-22402 | 子類 政府大樓 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22477-22477 | 子類 辦公樓 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22482-22482 | 子類 學校樓 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22520-22520 | 子類 禮拜的場所 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22556-22556 | 子類 餐廳建築 and Building |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26503-26503 | 子類 HighRise and Building |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15803-15803 | 子類 住宅樓 and Building |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 132-132 | 子類 HotelVilla and Building |