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, human_child, 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 427-428
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3129-3129	"http://upload.wikimedia.org/wikipedia/commons/0/0b/ Sean_Combs_by_David_Shankbone.jpg" is a URL depicting human child
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3131-3131	"http://upload.wikimedia.org/wikipedia/commons/5/57/ Children_in_Namibia%281_cropped%29.jpg" is a URL depicting human child
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3130-3130	"http://upload.wikimedia.org/wikipedia/commons/7/71/ Father_with_child.jpg" is a URL depicting human child
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3126-3126	"http://upload.wikimedia.org/wikipedia/commons/7/71/ O.J._Simpson_%281986%29.jpg" is a URL depicting human child
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2967-2967	"http://upload.wikimedia.org/wikipedia/commons/7/72/ Frukosten_av_Amalia_Lindegren_1866.jpg" is a URL depicting human child
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3128-3128	"http://upload.wikimedia.org/wikipedia/commons/9/92/ Youth-soccer-indiana.jpg" is a URL depicting human child
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 426-426	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 500-500	Boy is a subclass of human child
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 512-512	Girl is a subclass of human child
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 524-524	Human baby is a subclass of human child
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5227-5227	"human child" is the printable form of human child in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 797-804	If an entity is an instance of booster chair and an object is an instance of human child, then the entity has purpose sitting is an attribute of the object and the object is located at 2 for the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1834-1844	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 a formula such that the formula is an instance of child-care service and the organism desires the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 517-522	If an object is an instance of human child and female is an attribute of the object holds during an entity, then the object is an instance of girl holds during the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 505-510	If an object is an instance of human child and male is an attribute of the object holds during an entity, then the object is an instance of boy holds during the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 447-452	If an object is an instance of human child and the age of the object is a real number year duration(s) holds during an entity, then the real number is less than or equal to 14
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 431-435	If an organic object is an instance of human child holds during an entity, then the developmental form of the organic object is non fully formed holds during the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 455-460	If an object is an instance of human child holds during an entity, then there exists a time duration such that the age of the object is the time duration holds during the entity and the time duration 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 463-468	If an object is an instance of human and the age of the object is a real number year duration(s) holds during an entity and the real number is less than or equal to 14, then the object is an instance of human child holds during the entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2476-2494	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 a cognitive agent such that the organization is a customer of the cognitive agent and the cognitive agent is an instance of human child has the modal force of possibility or the policy contains information the statement there exists another cognitive agent such that the organization is a customer of the other cognitive agent and the other cognitive agent 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 2567-2576	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 a physical such that the physical is an instance of human child and the physical is located at the object for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2839-2850	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 982-988	If children's suite is an attribute of a temporary residence, then the temporary residence has purpose there exists a human such that the human is an instance of human child and the human stays at the temporary residence
No TPTP formula. May not be expressible in strict first order.	Dining.kif 944-952	If an entity is an instance of playground, then the entity has purpose there exist an agent and a process such that the process is an instance of recreation or exercise and the process is located at 2 and the agent is an instance of human child and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1816-1825	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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners