Room - Sigma Knowledge base Browser

appearance as argument number 1

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.	chinese_format.kif 3588-3590
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15757-15760
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 141-141
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15755-15755	子類 Room and StationaryArtifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15493-15493	子類浴室 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15584-15584	子類臥室 and Room
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1650-1650	子類 BusinessCenter and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15594-15594	子類教室 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15504-15504	子類衣櫥 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16172-16172	子類法庭室 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15580-15580	子類飯廳 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15516-15516	子類更衣室 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26779-26779	子類 GameRoom and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15613-15613	子類門廳 and Room
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1686-1686	子類 HotelFunctionRoom and Room
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 119-119	子類 HotelRoom and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15554-15554	子類廚房 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26792-26792	子類 Nursery and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25396-25396	子類 SelfServiceLaundry and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26750-26750	子類 Solarium and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26803-26803	子類 SteamBath and Room
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1052-1052
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1315-1315
No TPTP formula. May not be expressible in strict first order.	french_format.kif 730-730
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 261-261
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 264-264
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2414-2414
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 682-682

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 25821-25838	例 Physical and KnockLight 位於 Physical and Object 例 Object and Room 例 Object and 門部分 Object and Object 有目的 Physical and entity entity and entity 例 entity and Impacting 患者 entity and Object 原因 entity and entity 例 entity and RadiatingSound agent entity and Object 原因 entity and entity 例 entity and 輻射可見光儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2202-2207	位於 Physical and Object 例 Physical and 廁所例 Object and Room 例 Object and 浴室
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	一個在 Object 的人 can see Physical 例 Object and Room 例 Object and Physical 方位 Object, Object and 外模態屬性 entity entity 例 entity and Human 位於 entity and Object 例 entity and Seeing 患者 entity and Object agent entity and entity and 可能性
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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24632-24643	PostalPlace 的 unit 號碼是 SymbolicString SymbolicString 是 PostalPlace 的 floor Physical Object 例 Object and 建設水平例 Physical and Room 位於 Physical and Object 部分 Object and PostalPlace 名 SymbolicString and Physical 名 SymbolicString and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24645-24655	PostalPlace 的 unit 號碼是 SymbolicString SymbolicString SymbolicString 是 PostalPlace 的 floor Physical 例 Physical and Room 名 SymbolicString and Physical 位於 Physical and PostalPlace
No TPTP formula. May not be expressible in strict first order.	Dining.kif 956-980	attribute Object and OpenLayout 例 Object and Room Object Object and Object 例 Object and Region 例 Object and Region 位於 Object and Object 位於 Object and Object 等於 Object and Object 方位 Object, Object and 鄰 Formula Formula 例 Formula and Process 例 Formula and Process 有目的 Object and Formula 有目的 Object and Formula 例 Object and AutonomousAgent 位於 Object and Object 能力 Seeing, agent and Object 能力 Seeing, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15233-15235	attribute Object and AdjoiningRoom 例 Object and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15336-15341	例 SelfConnectedObject and 天花板 SelfConnectedObject 上 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and Room
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 15325-15330	例 Object and 地板 Object 部分 Object and Object 例 Object and Room
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 3131-3141	例 Physical and 牆紙有目的 Physical and entity entity and entity 例 entity and 壁部分 entity and entity 例 entity and Room 例 entity and Covering 患者 entity and entity 儀器 entity and Physical
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 26844-26854	例 Physical and RoomHeater 有目的 Physical and entity entity and entity 例 entity and 空氣例 entity and Room 位於 entity and entity 例 entity and Heating 患者 entity and entity 儀器 entity and Physical

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: