Building - Sigma Knowledge base Browser

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	子類 Building and StationaryArtifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15756-15756	不相交的 Room 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 15736-15736	子類穀倉 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 22390-22390	子類娛樂建築 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 22402-22402	子類政府大樓 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.	Transportation.kif 2934-2934	子類家庭車庫 and Building
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 132-132	子類 HotelVilla 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 7667-7667	子類醫療診所大樓 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.	Transportation.kif 2935-2935	子類停車庫 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 20922-20922	子類警察設施 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.	Merge.kif 15803-15803	子類住宅樓 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 22482-22482	子類學校樓 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.	Transportation.kif 2919-2919	子類航站樓 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.	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 and Building

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26159-26171	attribute Object and WheelchairAccessible 例 Object and Building 例 Object and Room 模態屬性 entity entity 例 entity and Motion 儀器 entity and entity 例 entity and Wheelchair entity 是 located 在 Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15097-15107	例 Object and 建設水平例 Object and 建設水平例 Object and Building 部分 Object and Object 部分 Object and Object Object 例 Object and 腳步連接 Object, Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15073-15085	例 Object and 樓梯部分 Object and Object 例 Object and Building 有目的 Object and entity entity 例 entity and 建設水平例 entity and 建設水平部分 entity and Object 部分 entity and Object 連接 Object, entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6921-6927	例永久居留權 and 單身家庭住所家 Human and 永久居留權擁有 Human and 永久居留權例永久居留權 and Building 例永久居留權 and 共管公寓單位
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	擁有 CognitiveAgent and Object 例 CognitiveAgent and 商業代理人例 Object and 停車場例 Object and Building 位於 CognitiveAgent and Object AutonomousAgent 是 CognitiveAgent 的 customer 持有期間 TimePosition and 位於 AutonomousAgent and Object 例 Process and Driving 患者 Process and Entity agent Process and AutonomousAgent 目的地 Process and Object 持有期間 TimePosition and 賦予權利例 entity and Keeping 目的地 entity and Object 患者 entity and Entity, CognitiveAgent and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15743-15753	例 Object and Building Organism 例 Organism and Human 棲息 Organism and Object Process agent Process and Organism 位於 Process and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5043-5051	例 Entity and 戶外服裝持有期間 TimePosition and 穿 entity and Entity Entity 例 Entity and Building 持有期間 TimePosition and 位於 entity and Entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8776-8797	例 Collection and Organization attribute Collection and 倉儲和儲存 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent CognitiveAgent Entity 例 AutonomousAgent and Selling 例 Entity and Object 例 CognitiveAgent and Human 患者 AutonomousAgent and CognitiveAgent 賦予權利 entity entity 例 entity and TimeInterval 例 entity and Building 擁有 CognitiveAgent and Entity 持有期間 entity and 位於 entity and Entity, Process and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6721-6727	等於 StationaryArtifact, 巷道, City 和 Nation 的 street 地址 and AutonomousAgent Object 例 Object and Building 部分 StationaryArtifact and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21183-21192	建築有在 Human 的專業知識 Process Entity and Entity 例 Process and ContentDevelopment agent Process and Human 結果 Process and Entity 例 Entity and 藍圖代表 Entity and Entity 例 Entity and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15411-15420	例 Object and 地下室 Object Object 例 Object and 建設水平例 Object and Building 部分 Object and Object 部分 Object and Object 等於 Object and Object 方位 Object, Object and 下面
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20552-20559	例 StationaryArtifact and BuildingUnit Organization Object 例 Object and Building 例 Organization and Organization 部分 StationaryArtifact and Object workLocation Organization and StationaryArtifact
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20792-20799	例 Process and 木工 Object Object 例 Object and Building 例 Object and 木部分 Object and Object 結果 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15299-15306	例 Object and 門 Object 部分 Object and Object 例 Object and Building 例 Object and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15427-15440	例 Physical and 電梯有目的 Physical and entity entity, entity and entity 例 entity and Transportation 起源 entity and entity 例 entity and 建設水平目的地 entity and entity 例 entity and 建設水平等於 entity and entity 部分 entity and entity 部分 entity and entity 例 entity and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15373-15378	例 Object and 壁爐 Object 例 Object and Building 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15486-15491	例 Object and 車庫 Object 例 Object and Building 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15622-15637	例 Physical and 門廳有目的 Physical and entity entity, entity and entity 例 entity and 易位路徑 entity and Physical 位於 Physical and entity 例 entity and Building 之間 entity, Physical and entity 例 entity and Room 例 entity and Room 位於 entity and entity 位於 entity and entity 等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9145-9150	例 Object and 在室內 Object 例 Object and Building 方位 Object, Object and 內
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15399-15404	例 Object and 建設水平 Object 例 Object and Building 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8499-8506	例 AutonomousAgent and 美術博物館 Object Physical 擁有 AutonomousAgent and Object 例 Object and Building 例 Physical and ArtWork 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9133-9139	例 Object and 在戶外 Object 例 Object and Building 方位 Object, Object and 內
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15689-15696	例 Object and 工業廠房例 Object and Building Physical 例 Physical and Building 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15644-15649	例 Object and 門廊 Object 例 Object and Building 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15346-15351	例 SelfConnectedObject and 屋頂 SelfConnectedObject 例 SelfConnectedObject and Building 上 SelfConnectedObject and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15762-15767	例 Object and Room Object 例 Object and Building 適當的部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7913-7918	例 Object and 尖頂 Object 例 Object and Building 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15176-15184	例 Object and 窗口 Object 部分 Object and Object 例 Object and Building 例 Object and Room 例 Object and 車輛
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15312-15319	例 Object and 壁 Object 部分 Object and Object 例 Object and Building 例 Object and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15290-15297	例 Object and 門口 Object 部分 Object and Object 例 Object and Building 例 Object and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26021-26032	例 SelfConnectedObject and Courtyard SelfConnectedObject 例 SelfConnectedObject and 屋頂上 SelfConnectedObject and SelfConnectedObject Object 例 Object and Building 方位 SelfConnectedObject, Object and Surrounded

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: