TreeView Knowledge Base Browser - stays

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - stays

stays

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14393-14393	不相交的關係停留 and 家
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3377-3378
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14396-14397
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14394-14394	域停留, 1 and Human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14395-14395	域停留, 2 and 暫住
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14392-14392	例停留 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14391-14391	子關係停留 and 棲息

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4638-4638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4637-4637
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4636-4636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55206-55206
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55205-55205
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55204-55204

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	Physical 的使用對於 HotelUnit 是免費子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 患者 Process and Object 儀器 Process and Object 資源 Process and Object Object 是對於 Human 的 price 測量 0 and 美國美元
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 364-378	Physical 的使用對於 HotelUnit 是免費子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 Process 是對於 Human 的 price 測量 0.0 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 396-417	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Object 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 例 Object and Physical 位於 Object and 暫住例 Process and Process agent Process and Human 位於 Process and 暫住患者 Process and Object 儀器 Process and Object 資源 Process and Object ProcessRICE UnitOfMeasure Object 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	HotelUnit 的承租人能 pay 去使用 Physical 子類 Physical and Process 例暫住 and HotelUnit Human stays 在暫住元件暫住 and 屬性 AutonomousAgent 患者 Process and Human 例 Process and Physical 例 Process and Physical 子過程 Process and Process 位於 Process and 暫住 ProcessRICE UnitOfMeasure Process 是對於 Human 的 price 測量 ProcessRICE and UnitOfMeasure 例 UnitOfMeasure and UnitOfCurrency 比較多 ProcessRICE and 0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20568-20578	持有期間 TimePosition and 例 entity and IntensiveCareUnit entity stays 在 entity 模態屬性 entity 例 entity and Death 飾面何時 entity and TimePosition and 可能性

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 479-490	StationaryArtifact 能 accommodate 大部分 Integer 的人例 Entity and StationaryArtifact 元件 Entity and 屬性 AutonomousAgent 模態屬性 entity entity 例 entity and 一群人 entity 是 entity 的 member 計數小於或等於 entity and Integer entity stays 在 Entity and 可能性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2951-2963	HotelReservation 是對於 HotelUnit 的 reservation Reservation starts 在 HotelReservation Reservation ends 在 HotelReservation HotelReservation reserves Reservation 模態屬性持有期間時間間隔 Reservation and Reservation and entity 例 entity and HotelUnit Reservation stays 在 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1029-1035	attribute Object and ChildrenSuite 有目的 Object and entity 例 entity and 人類的孩子 entity stays 在 Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1243-1254	attribute Object and ExclusiveFemaleLevel Physical 例 Physical and HotelRoom 位於 Physical and Object 有目的 Physical and entity attribute entity and 女 entity stays 在 Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1224-1236	attribute Object and ExecutiveLevel Physical 例 Physical and HotelRoom 位於 Physical and Object 有目的 Physical and entity attribute entity and BusinessExecutive 例 entity and Human entity stays 在 Physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1042-1050	attribute Object and FemaleExecutiveRoom 有目的 Object and entity 例 entity and Human attribute entity and 女 attribute entity and BusinessExecutive entity stays 在 Object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2245-2252	例服務 and ExecutiveService Human Object and 暫住服務接收者服務 and Human Human stays 在暫住位於暫住 and Object attribute Object and ExecutiveLevel
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	例 Process and ValetLaundryService Human AutonomousAgent, 暫住, Entity, Process, Process and Process AutonomousAgent 是 Human 的 customer Human stays 在暫住 agent Process and AutonomousAgent 例 Entity and Clothing 例 Process and Getting 位於 Process and 暫住患者 Process and Entity agent Process and AutonomousAgent 例 Process and LaundryService 例 Process and DryCleaningService agent Process and AutonomousAgent 患者 Process and Entity 例 Process and DeliveryService 患者 Process and Entity 目的地 Process and 暫住之前開始何時 Process and 開始何時 Process 之前開始何時 Process and 開始何時 Process

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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