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 是固定人工制品的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 90-90	HotelUnit 是暂住的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 120-120	HotelRoom 是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 133-133	HotelVilla 是 HotelUnit 的 subclass
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 数量是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 382-382	paidRoomAmenity 的 1 数量是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2949-2949	reservedRoom 的 2 数量是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 278-278	roomAmenity 的 1 数量是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 460-460	roomAttribute 的 1 数量是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 445-445	roomPolicy 的 1 数量是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2739-2739	roomStay 的 3 数量是 HotelUnit 的 subclass

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1186-1201	如果 Oversized 是客体的 attribute 和那个客体是类的 immediateInstance 和那个类是 HotelUnit 的 subclass，然后有存在物理，实数,，，另一个实数， and 和测量单位这样那个物理是那个类的 immediateInstance 和那个测量单位是 UnitOfArea 的 instance 和那个物理的 measure 是那个实数那个测量单位和那个客体的 measure 是那个另外实数那个测量单位和那个实数是面积测量的 instance 和那个另外实数是面积测量的 instance 和那个另外实数是 greaterThan 那个实数
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1003-1014	如果 Suite 是客体的 attribute 和那个客体是 HotelUnit 的 instance，然后有存在另一个客体和第三客体这样那个另外客体是 HotelRoom 的 instance 和那个第三客体是 HotelRoom 的 instance 和那个另外客体在那个客体的内和那个第三客体在那个客体的内和那个另外客体不 equal 那个第三客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 69-75	如果施事体 rents 客体给另一个施事体在其间时距和旅客住宿是那个施事体的 attribute 和那个客体是 HotelUnit 的 instance，然后那个另外施事体是在那个施事体的 guest 在那个时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 96-101	如果客体是 HotelUnit 的 instance，然后有存在物理这样那个物理是床的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 103-108	如果实体是 HotelUnit 的 instance，然后有存在施事体这样旅客住宿是那个施事体的 attribute 和那个实体是那个施事体的财产的 element
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 110-117	如果物理是 HotelUnit 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体不 equal 那个另外实体和那个物理是那个实体的财产的 element 和那个实体 rents 那个物理给那个另外实体在其间那个第三实体

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 978-982	如果属性是客体的 attribute 和那个属性是 HotelRoomAttribute 的 instance，然后那个客体是 HotelUnit 的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1935-1946	如果旅客住宿是施事体的 attribute 和那个施事体能够担当主事的角色做 RoomCleaningService，然后有存在有认知的主事和客体这样那个施事体 employs 那个有认知的主事和女佣是那个有认知的主事的 attribute 和那个客体是 HotelUnit 的 instance 和那个客体是那个施事体的财产的 part 和那个客体能够担当受事的角色做 RoomCleaningService 和那个有认知的主事能够担当服务供应者的角色做 RoomCleaningService
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2392-2407	如果施事体是有认知的主事的 customer 和那个施事体 employs 另一个有认知的主事和旅客住宿是那个施事体的 attribute 和 Porter 是那个另外有认知的主事的 attribute 和那个有认知的主事 possesses 客体和那个客体是旅行集装箱的 instance，然后有存在另一个客体和过程这样那个另外客体是 HotelUnit 的 instance 和那个过程是携带的 instance 和那个另外有认知的主事是那个过程的 agent 和那个过程在那个另外客体结束或那个另外客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 45-52	如果旅客住宿是客体的 attribute，然后那个客体的目的是有存在实体，另一个实体， and 和第三实体这样那个客体 rents 那个另外实体给那个实体在其间那个第三实体和那个另外实体是 HotelUnit 的 instance 和那个另外实体是那个客体的财产的 element
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	如果过程是 RoomService 的 instance，然后有存在施事体，实体,，，有认知的主事,，，另一个过程,，，另一个实体,，，第三过程， and 和客体这样那个施事体是那个有认知的主事的 customer 和那个施事体是那个过程的 agent 和那个另外过程是要求的 instance 和那个有认知的主事是那个另外过程的 agent 和那个另外实体是那个另外过程的 patient 和那个另外实体表达那个实体和那个实体是已准备食物的 instance 和那个有认知的主事是 located 在那个客体和那个客体是 HotelUnit 的 instance 和那个第三过程是 DeliveryService 的 instance 和那个实体是那个第三过程的 patient 和那个第三过程在那个客体结束和那个另外过程出现的 time 的开始%n在那个第三过程出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 143-145	如果群体是 RoomInventory 的 instance，然后 HotelUnit 是那个群体的 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