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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HumanYouth
HumanYouth(human youth)
immature, pup, puppy, spring_chicken, young, young_person, younker, youth

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 242-243
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3141-3141
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2970-2970
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3142-3142
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 241-241 Human youth is a subclass of human

appearance as argument number 2
-------------------------


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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28896-28896
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28895-28895
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28894-28894

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 245-250
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 252-260

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 279-285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 262-267


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