HotelUnit - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HotelUnit

HotelUnit

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 91-93
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 89-89	子類 HotelUnit and StationaryArtifact
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	子類 HotelUnit and 暫住

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	子類 HotelRoom and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	子類 HotelVilla and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 94-94

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 336-336	域子類 freeRoomAmenity, 1 and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 382-382	域子類 paidRoomAmenity, 1 and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2949-2949	域子類 reservedRoom, 2 and HotelUnit
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 460-460	域子類 roomAttribute, 1 and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 445-445	域子類 roomPolicy, 1 and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2739-2739	域子類 roomStay, 3 and HotelUnit

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	attribute Object and Oversized 立即實例 Object and Class 子類 Class and HotelUnit Physical RealNumber, RealNumber and UnitOfMeasure 立即實例 Physical and Class 例 UnitOfMeasure and UnitOfArea 測量 Physical and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 例 RealNumber and AreaMeasure 例 RealNumber and AreaMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1003-1014	attribute Object and Suite 例 Object and HotelUnit Object Object 例 Object and HotelRoom 例 Object and HotelRoom 方位 Object, Object and 內方位 Object, Object and 內等於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 69-75	AutonomousAgent rents Object 給 AutonomousAgent 在其間 TimeInterval attribute AutonomousAgent and 旅客住宿例 Object and HotelUnit 持有期間 TimeInterval and AutonomousAgent 是在 AutonomousAgent 的 guest
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 96-101	例 Object and HotelUnit Physical 例 Physical and 床位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	例 Entity and HotelUnit AutonomousAgent attribute AutonomousAgent and 旅客住宿元件 Entity and 屬性 AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	例 Physical and HotelUnit 有目的 Physical and entity entity and entity 等於 entity and entity 元件 Physical and 屬性 entity entity rents Physical 給 entity 在其間 entity

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 978-982	attribute Object and Attribute 例 Attribute and HotelRoomAttribute 例 Object and HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	attribute AutonomousAgent and 旅客住宿能力 RoomCleaningService, agent and AutonomousAgent CognitiveAgent Object 採用 AutonomousAgent and CognitiveAgent attribute CognitiveAgent and 女傭例 Object and HotelUnit 部分 Object and 屬性 AutonomousAgent 能力 RoomCleaningService, 患者 and Object 能力 RoomCleaningService, 服務提供者 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	AutonomousAgent 是 CognitiveAgent 的 customer 採用 AutonomousAgent and CognitiveAgent attribute AutonomousAgent and 旅客住宿 attribute CognitiveAgent and Porter 擁有 CognitiveAgent and Object 例 Object and 旅行集裝箱 Object Process 例 Object and HotelUnit 例 Process and 攜帶 agent Process and CognitiveAgent 目的地 Process and Object 起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	attribute Object and 旅客住宿有目的 Object and entity entity and entity Object rents entity 給 entity 在其間 entity 例 entity and HotelUnit 元件 entity and 屬性 Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	例 Process and RoomService AutonomousAgent Entity, CognitiveAgent, Process, Entity, Process and Object AutonomousAgent 是 CognitiveAgent 的 customer agent Process and AutonomousAgent 例 Process and Requesting agent Process and CognitiveAgent 患者 Process and Entity 代表 Entity and Entity 例 Entity and 已準備食物位於 CognitiveAgent and Object 例 Object and HotelUnit 例 Process and DeliveryService 患者 Process and Entity 目的地 Process and Object 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 143-145	例 Collection and RoomInventory HotelUnit 是 Collection 的 member 類別

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