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 数量是 HotelUnit 的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 279-279	roomAmenity 的 2 数量是物理的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 273-273	roomAmenity 是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4438-4438
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4437-4437
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4436-4436
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 334-334	freeRoomAmenity 是 roomAmenity 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 380-380	paidRoomAmenity 是 roomAmenity 的 subrelation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 276-276

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	如果人类是在施事体的 guest 和那个人类 stays 在暂住和那个暂住是那个施事体的财产的 element 和那个暂住是那个暂住OOM 的 instance 和有点物理是 amenity 在那个暂住OOM 和有点物理是客体的 subclass，然后有存在另一个物理这样那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个暂住和那个施事体允许那个人类执行有存在实体这样那个人类是那个实体的 agent 和那个另外物理是导致那个实体的 instrument 或那个另外物理是那个实体的 patient 或那个另外物理是那个实体的 resource 的任务
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 281-292	如果有点物理是 amenity 在有点 HotelUnit 和有点物理是客体的 subclass，然后对所有客体如果那个客体是有点 HotelUnit 的 instance，然后有存在另一个物理这样那个客体是那个有点 HotelUnit 的 instance 和那个另外物理是那个有点物理的 instance 和那个另外物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 317-332	如果有点物理是 amenity 在有点 HotelUnit 和有点物理是过程的 subclass，然后有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是有点 HotelUnit 的 instance 和那个实体是那个第三实体的财产的 element 和那个第三实体是那个另外实体的 agent 和那个另外实体是那个有点物理的 instance 或那个第四实体是那个有点物理的 instance 和那个另外实体%n是那个第四实体的subProcess 和那个另外实体是 located 在那个实体的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1494-1502	如果 TemperatureControl 是 amenity 在有点 HotelUnit ，然后有存在客体，另一个客体， and 和第三客体这样那个另外客体是有点 HotelUnit 的 instance 和那个客体是 AirConditioner 的 instance 和那个第三客体是 TemperatureControl 的 instance 和那个第三客体是 located 在那个另外客体和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1506-1519	如果动态映像是 amenity 在有点 HotelUnit ，然后有存在客体，物理， and 和实体这样那个客体是有点 HotelUnit 的 instance 和那个物理是 MediaSystem 的 instance 和那个物理是 located 在那个客体和那个实体是动态映像的 instance 和有存在那个客体L 这样那个客体L 是放射光线的 instance 和那个物理是导致那个客体L 的 instrument 和那个实体是那个客体L 的 patient 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1727-1739	如果 HotelMiniBar 是 amenity 在有点 HotelUnit ，然后有存在客体，群体， and 和施事体这样那个客体是有点 HotelUnit 的 instance 和那个客体是那个施事体的财产的 element 和那个群体是 HotelMiniBar 的 instance 和那个群体是 located 在那个客体和对所有物理如果那个物理是那个群体的 member，然后有存在货币测量这样那个物理是对于那个施事体的 price 那个货币测量

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 171-176	如果 all rooms 在 RoomInventory 有有点物理，然后对所有有点 HotelUnit 如果有点 HotelUnit 是那个 RoomInventory 的 member 类别，然后有点物理是 amenity 在那个有点 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 218-223	如果所有房间在在 RoomInventory 有服务有点物理，然后对所有有点 HotelUnit 如果有点 HotelUnit 是那个 RoomInventory 的 member 类别，然后有点物理是 amenity 在那个有点 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 187-192	如果 some rooms 在 RoomInventory 有有点物理，然后有存在有点 HotelUnit 这样有点 HotelUnit 是那个 RoomInventory 的 member 类别和有点物理是 amenity 在那个有点 HotelUnit
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 203-208	如果 some rooms 在 RoomInventory 有有点物理，然后有存在有点 HotelUnit 这样有点 HotelUnit 是那个 RoomInventory 的 member 类别和有点物理是 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