Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HotelUnit

Sigma KEE - HotelUnit
HotelUnit(hotel unit)

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 Hotel unit is a subclass of stationary artifact
No TPTP formula. May not be expressible in strict first order. Hotel.kif 90-90 Hotel unit is a subclass of temporary residence

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 120-120 Hotel room is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order. Hotel.kif 133-133 Hotel villa is a subclass of hotel unit
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 The number 1 argument of free room amenity is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order. Hotel.kif 382-382 The number 1 argument of paid room amenity is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2949-2949 The number 2 argument of reserved room is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order. Hotel.kif 278-278 The number 1 argument of room amenity is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order. Hotel.kif 460-460 The number 1 argument of room attribute is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order. Hotel.kif 445-445 The number 1 argument of room policy is a subclass of hotel unit
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2739-2739 The number 3 argument of room stay is a subclass of hotel unit

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1003-1014
No TPTP formula. May not be expressible in strict first order. Hotel.kif 69-75
No TPTP formula. May not be expressible in strict first order. Hotel.kif 96-101
No TPTP formula. May not be expressible in strict first order. Hotel.kif 103-108
No TPTP formula. May not be expressible in strict first order. Hotel.kif 110-117

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 978-982
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2392-2407
No TPTP formula. May not be expressible in strict first order. Hotel.kif 45-52
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1969-1987
No TPTP formula. May not be expressible in strict first order. Hotel.kif 143-145


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