HumanChild - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HumanChild

HumanChild(human child)

more pictures...

baby, bambino, child, fry, kid, little, minor, nestling, nipper, shaver, small, small_fry, tiddler, tike, toddler, tot, tyke, yearling, youngster

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 426-427
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3129-3129
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3131-3131
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3130-3130
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3126-3126
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2967-2967
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3128-3128
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 425-425	Human child is a subclass of human youth

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 499-499	Boy is a subclass of human child
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 511-511	Girl is a subclass of human child
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 523-523	Human baby is a subclass of human child
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28855-28855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28854-28854
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28853-28853

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 793-800	If a physical is an instance of booster chair and an agent is an instance of human child, then the physical purpose sitting is an attribute of the agent and the agent is located at 2 for the agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1852-1862	If an organism is a parent of another organism and the other organism is an instance of human child or the other organism is an instance of human baby, then the statement there exists an entity such that the entity is an instance of child-care service and the organism desires the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 516-521	If an entity is an instance of human child and female is an attribute of the entity holds during a time position, then the entity is an instance of girl holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 504-509	If an entity is an instance of human child and male is an attribute of the entity holds during a time position, then the entity is an instance of boy holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 446-451	If an entity is an instance of human child and the age of the entity is a quantity year duration(s) holds during a time position, then the quantity is less than or equal to 14
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 430-434	If an entity is an instance of human child holds during a time position, then the developmental form of the entity is non fully formed holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 454-459	If an entity is an instance of human child holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 14 year duration(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 462-467	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity is less than or equal to 14, then the entity is an instance of human child holds during the time position
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2495-2513	If a policy is an instance of children policy and an organization enacts policy the policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the organization is a customer of the entity and the entity is an instance of human child has the modal force of possibility or the policy contains information the statement there exists another entity such that the organization is a customer of the other entity and the other entity is an instance of human child doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2586-2595	If a policy is an instance of no children allowed and the policy covers an object and an organization enacts policy the policy, then the organization deprives norm there exists an entity such that the entity is an instance of human child and the entity is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2859-2870	If an agent may have an integer children and the agent fulfills another agent, then there exist a collection and another collection such that the collection is an instance of group of people and the other collection is a proper sub-collection of the collection and the other collection is an instance of group of people and human child is a member type of the other collection and the integer is a member count of the other collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 994-1000	If children's suite is an attribute of an object, then the object purpose there exists an entity such that the entity is an instance of human child and the entity stays at the object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 940-948	If a physical is an instance of playground, then the physical purpose there exist an entity and another entity such that the other entity is an instance of recreation or exercise and the other entity is located at 2 and the entity is an instance of human child and the entity is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1834-1843	If a service is an instance of child-care service, then there exist an organism and another organism such that the organism is an instance of human child or the organism is an instance of human baby and the other organism provides a service during the service and the organism is a patient of the service and the other organism is not a parent of the organism

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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