Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HumanChild

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 277-278
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. pictureList.kif 3130-3130
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 3125-3125
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2966-2966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3127-3127
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 276-276 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 350-350 Boy is a subclass of human child
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 361-361 Girl is a subclass of human child
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 372-372 Human baby is a subclass of human child
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28857-28857
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28856-28856
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28855-28855

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 840-847
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1890-1900
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 365-370
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 354-359
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 294-299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 280-284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 301-309

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 311-318
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2535-2553
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2626-2635
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2903-2914
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1029-1035
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4816-4833
No TPTP formula. May not be expressible in strict first order. Dining.kif 987-995
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1872-1881


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