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 270-271
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. pictureList.kif 3129-3129
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 3124-3124
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2965-2965
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. Mid-level-ontology.kif 269-269 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 343-343 Boy is a subclass of human child
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 354-354 Girl is a subclass of human child
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 365-365 Human baby is a subclass of human child
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28868-28868 Human baby is a subclass of human child
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28867-28867 Human baby is a subclass of human child
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28866-28866 Human baby is a subclass of human child

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 1901-1911
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 358-363
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 347-352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 287-292
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 273-277
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 294-302

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 304-311
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2546-2564
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2637-2646
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2914-2925
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1037-1043
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4823-4840
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 1883-1892


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