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 270-271
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 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 28848-28848
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28847-28847
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28846-28846

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 1865-1875
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 2508-2526
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2599-2608
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2872-2883
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1007-1013
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 1847-1856


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