TreeView Knowledge Base Browser - numberChildOccupant

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - numberChildOccupant

numberChildOccupant

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2896-2898
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2900-2900	Le nombre 1 argument de numberChildOccupant est une instance de HotelReservation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2901-2901	Le nombre 2 argument de numberChildOccupant est une instance de nombre entier
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2895-2895	numberChildOccupant est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2894-2894	numberChildOccupant est une sous-relation de numberOccupant

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3986-3986
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3985-3985
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3984-3984
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2899-2899

antecedent

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

Hotel.kif 2903-2914

numberChildOccupant HotelReservation and nombre entier fulfillingEntity AutonomousAgent and HotelReservation
collection collection collection est une instance de GroupOfPeople collection est une sous-collection appartenant � collection collection est une instance de GroupOfPeople memberType collection and HumanChild 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