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
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1852-1862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 516-521
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 504-509
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 446-451
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 430-434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 454-459

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 462-467
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2495-2513
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2586-2595
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2859-2870
No TPTP formula. May not be expressible in strict first order. Hotel.kif 994-1000
No TPTP formula. May not be expressible in strict first order. Dining.kif 940-948
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1834-1843


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