TreeView Knowledge Base Browser - numberAdultOccupant

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

attitudeForFormula

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	Le nombre 1 argument de numberAdultOccupant est une instance de HotelReservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2862-2862	Le nombre 2 argument de numberAdultOccupant est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2876-2876	numberAdultOccupant est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2875-2875	numberAdultOccupant est une sous-relation 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 nombre entier fulfillingEntity AutonomousAgent and HotelReservation
collection collection est une instance de GroupOfPeople memberType collection and HumanAdult memberCount collection and nombre entier potentialCustomer collection 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