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

Formal Language: 



KB Term:  Term intersection
English Word: 

  numberOccupant

Sigma KEE - numberOccupant
numberOccupant

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2823-2825
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2827-2827 The number 1 argument of number of occupants is an instance of hotel reservation
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2828-2828 The number 2 argument of number of occupants is an instance of integer
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2822-2822 number of occupants is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3995-3995
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3994-3994
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3993-3993
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2844-2844 number of adult occupants is a subrelation of number of occupants
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2863-2863 number of child occupants is a subrelation of number of occupants
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2885-2885 number of senior occupants is a subrelation of number of occupants
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2826-2826

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2833-2842


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