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 15841-15842
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1677-1677
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2126-2126
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15840-15840	子類 Building and StationaryArtifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15857-15857	不相交的 Room and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8507-8507	子類禮堂 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17117-17117	子類穀倉 and Building
No TPTP formula. May not be expressible in strict first order.	Sports.kif 660-660	子類棒球獨木舟 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8231-8231	子類商業建築 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24039-24039	子類娛樂建築 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8278-8278	子類農場建設 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24051-24051	子類政府大樓 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28148-28148	子類 HighRise and Building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3765-3765	子類家庭車庫 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 9702-9702	子類 LibraryBuilding and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8856-8856	子類醫療診所大樓 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24126-24126	子類辦公樓 and Building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3766-3766	子類停車庫 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24169-24169	子類禮拜的場所 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22546-22546	子類警察設施 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9093-9093	子類宗教建築 and Building
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15904-15904	子類住宅樓 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24205-24205	子類餐廳建築 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24131-24131	子類學校樓 and Building
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8266-8266	子類商店 and Building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3760-3760	子類航站樓 and Building
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3976-3976	子類收費站 and Building
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1051-1051	子類收費站 and Building

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 27804-27816	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 16478-16488	例 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 16454-16466	例 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 8108-8114	例永久居留權 and 單身家庭住所家 Human and 永久居留權擁有 Human and 永久居留權例永久居留權 and Building 例永久居留權 and 共管公寓單位
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 106-125	擁有 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 15844-15854	例 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 6006-6014	例 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 7684-7690	等於 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 22807-22816	建築有在 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 16792-16801	例 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 22176-22183	例 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 22416-22423	例 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 16680-16687	例 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 16808-16821	例 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 16754-16759	例 Object and 壁爐 Object 例 Object and Building 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16867-16872	例 Object and 車庫 Object 例 Object and Building 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17003-17018	例 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 10371-10376	例 Object and 在室內 Object 例 Object and Building 方位 Object, Object and 內
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16780-16785	例 Object and 建設水平 Object 例 Object and Building 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9725-9732	例 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 10359-10365	例 Object and 在戶外 Object 例 Object and Building 方位 Object, Object and 內
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17070-17077	例 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 17025-17030	例 Object and 門廊 Object 例 Object and Building 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16727-16732	例 SelfConnectedObject and 屋頂 SelfConnectedObject 例 SelfConnectedObject and Building 上 SelfConnectedObject and SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15863-15868	例 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 9102-9107	例 Object and 尖頂 Object 例 Object and Building 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16557-16565	例 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 16693-16700	例 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 16671-16678	例 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 27666-27677	例 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: