guest - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - guest

guest

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 57-58
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 66-66	域 guest, 1 and CognitiveAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 67-67	域 guest, 2 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 56-56	例 guest and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 55-55	子關係 guest and 顧客

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3564-3564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3563-3563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3562-3562
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 59-59

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 684-695	其必須在 TimePoint 之前在 CognitiveAgent check out CognitiveAgent 是在 CognitiveAgent 的 guest CognitiveAgent expects entity entity 例 entity and TimePoint 患者 entity and CognitiveAgent 例 entity and CheckOutService agent entity and CognitiveAgent 之前開始何時 entity and entity 會是事實
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1522-1535	採用 AutonomousAgent and CognitiveAgent attribute AutonomousAgent and 旅客住宿 attribute CognitiveAgent and TennisProfessional CognitiveAgent 是在 AutonomousAgent 的 guest 模態屬性 entity entity 例 entity and Tennis CognitiveAgent participates 在 entity CognitiveAgent participates 在 entity 位於 entity and entity 位於 AutonomousAgent and entity and 可能性
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 1558-1578	AutonomousAgent offers 拍賣樣品在 MealPlan 例 MealPlan and MealPlan 類別 RelationalAttribute 的 meals 是包含在 MealPlan attribute AutonomousAgent and 旅客住宿 CognitiveAgent 是在 AutonomousAgent 的 guest CognitiveAgent buys MealPlan 從 AutonomousAgent 持有期間何時 CognitiveAgent 是在 AutonomousAgent 的 guest and entity 持有期間 entity and entity attribute entity and RelationalAttribute 有目的 entity and entity 例 entity and Eating agent entity and CognitiveAgent 患者 entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	例 Policy and DailyHousekeepingPolicy Organization enacts policy Policy 模態屬性 entity entity and entity entity 是在 Organization 的 guest entity stays 在 entity 等於 entity and 何時 entity stays 在 entity 持有期間 entity and entity 例 entity and Day 期間 entity and entity entity 例 entity and RoomCleaningService 患者 entity and entity 期間 entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2681-2697	例 Policy and NoHousekeepingPolicy Organization enacts policy Policy attribute Organization and 旅客住宿模態屬性 entity entity entity 是在 Organization 的 guest 持有期間何時 entity stays 在 entity and entity 例 entity and RoomCleaningService 患者 entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2704-2719	例 Policy and WithHousekeepingPolicy Organization enacts policy Policy attribute Organization and 旅客住宿模態屬性 entity entity entity 是在 Organization 的 guest 持有期間何時 entity stays 在 entity and entity 例 entity and RoomCleaningService 患者 entity and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1558-1578	AutonomousAgent offers 拍賣樣品在 MealPlan 例 MealPlan and MealPlan 類別 RelationalAttribute 的 meals 是包含在 MealPlan attribute AutonomousAgent and 旅客住宿 CognitiveAgent 是在 AutonomousAgent 的 guest CognitiveAgent buys MealPlan 從 AutonomousAgent 持有期間何時 CognitiveAgent 是在 AutonomousAgent 的 guest and entity 持有期間 entity and entity attribute entity and RelationalAttribute 有目的 entity and entity 例 entity and Eating agent entity and CognitiveAgent 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2744-2757	CognitiveAgent authored HotelPackage 例 HotelPackage and HotelPackage Organization provides HotelPackage HotelPackage 指定 Integer 天數 stay 在 HotelUnit 例 Entity and HotelUnit 元件 Entity and 屬性 Organization CognitiveAgent buys HotelPackage 從 CognitiveAgent TimePosition 等於 TimePosition and 測量 Integer and 一天長度持有期間 TimePosition and CognitiveAgent 是在 Organization 的 guest
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

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