TreeView Knowledge Base Browser - numberAdultOccupant

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

numberAdultOccupant

Sigma KEE - numberAdultOccupant

numberAdultOccupant

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2877-2879
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2861-2861	O argumento numero 1 de numberAdultOccupant e' uma instancia de HotelReservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2862-2862	O argumento numero 2 de numberAdultOccupant e' uma instancia de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2876-2876	numberAdultOccupant e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2875-2875	numberAdultOccupant e' uma sub-relacao de numberOccupant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3982-3982
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3981-3981
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3980-3980
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2880-2880

antecedent

No TPTP formula. May not be expressible in strict first order.

Hotel.kif 2883-2892

numberAdultOccupant HotelReservation and Numero Inteiro fulfillingEntity AutonomousAgent and HotelReservation
Colecao Colecao e' uma instancia de GroupOfPeople memberType Colecao and HumanAdult memberCount Colecao and Numero Inteiro potentialCustomer Colecao and AutonomousAgent

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