roomAmenity - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - roomAmenity

roomAmenity

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 274-275
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 278-278	域子類 roomAmenity, 1 and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 279-279	域子類 roomAmenity, 2 and Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 273-273	例 roomAmenity and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4442-4442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4441-4441
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4440-4440
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-334	子關係 freeRoomAmenity and roomAmenity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 380-380	子關係 paidRoomAmenity and roomAmenity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 276-276	子關係 paidRoomAmenity and roomAmenity

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	Human 是在 AutonomousAgent 的 guest Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例暫住 and 暫住OOM Physical 是 amenity 在暫住OOM 子類 Physical and Object Physical 例 Physical and Physical 位於 Physical and 暫住賦予權利 entity agent entity and Human 儀器 entity and Physical 患者 entity and Physical 資源 entity and Physical, AutonomousAgent and Human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	Physical 是 amenity 在 HotelUnit 子類 Physical and Object Object 例 Object and HotelUnit Physical 例 Object and HotelUnit 例 Physical and Physical 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	Physical 是 amenity 在 HotelUnit 子類 Physical and Process 模態屬性 entity entity, entity and entity 例 entity and HotelUnit 元件 entity and 屬性 entity agent entity and entity 例 entity and Physical 例 entity and Physical 子過程 entity and entity 位於 entity and entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1494-1502	TemperatureControl 是 amenity 在 HotelUnit Object Object and Object 例 Object and HotelUnit 例 Object and AirConditioner 例 Object and TemperatureControl 位於 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1506-1519	MotionPicture 是 amenity 在 HotelUnit Object Physical and Entity 例 Object and HotelUnit 例 Physical and MediaSystem 位於 Physical and Object 例 Entity and MotionPicture 模態屬性 ObjectL 例 ObjectL and RadiatingLight 儀器 ObjectL and Physical 患者 ObjectL and Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	HotelMiniBar 是 amenity 在 HotelUnit Object Collection and AutonomousAgent 例 Object and HotelUnit 元件 Object and 屬性 AutonomousAgent 例 Collection and HotelMiniBar 位於 Collection and Object Physical 會員 Physical and Collection CurrencyMeasure Physical 是對於 AutonomousAgent 的 price CurrencyMeasure

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 171-176	all rooms 在 RoomInventory 有 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	所有房間在在 RoomInventory 有服務 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 187-192	some rooms 在 RoomInventory 有 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 203-208	some rooms 在 RoomInventory 有 Physical HotelUnit HotelUnit 是 RoomInventory 的 member 類別 Physical 是 amenity 在 HotelUnit

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