Room - Sigma Knowledge base Browser

appearance as argument number 1

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.	chinese_format.kif 3588-3590	不相交的 Room and Building
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15858-15861	不相交的 Room and Building
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 141-141	不相交的 Room and Building
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15856-15856	子類 Room and StationaryArtifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16874-16874	子類浴室 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16965-16965	子類臥室 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 16975-16975	子類教室 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16885-16885	子類衣櫥 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17569-17569	子類法庭室 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16961-16961	子類飯廳 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16897-16897	子類更衣室 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28424-28424	子類 GameRoom and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16994-16994	子類門廳 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 16935-16935	子類廚房 and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28437-28437	子類 Nursery and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27065-27065	子類 SelfServiceLaundry and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28395-28395	子類 Solarium and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28448-28448	子類 SteamBath and Room
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1052-1052	子類 SteamBath and Room
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1315-1315	子類 SteamBath and Room
No TPTP formula. May not be expressible in strict first order.	french_format.kif 730-730	子類 SteamBath and Room
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 261-261	子類 SteamBath and Room
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 264-264	子類 SteamBath and Room
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2414-2414	子類 SteamBath and Room
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 682-682	子類 SteamBath and Room

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 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 27466-27483	例 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 2671-2676	位於 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 15863-15868	例 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 26301-26312	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 26314-26324	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 16614-16616	attribute Object and AdjoiningRoom 例 Object and Room
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16717-16722	例 SelfConnectedObject and 天花板 SelfConnectedObject 上 SelfConnectedObject and SelfConnectedObject 例 SelfConnectedObject and Room
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 16706-16711	例 Object and 地板 Object 部分 Object and Object 例 Object and Room
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 3600-3610	例 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 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 28489-28499	例 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: