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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1834-1844
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 517-522
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 505-510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 447-452
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 431-435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 455-460

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 463-468
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2476-2494
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2567-2576
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2839-2850
No TPTP formula. May not be expressible in strict first order. Hotel.kif 982-988
No TPTP formula. May not be expressible in strict first order. Dining.kif 944-952
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1816-1825


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