TreeView Knowledge Base Browser - HumanYouth

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 249-250
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 248-248	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 276-276	Human child is a subclass of human youth
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28914-28914
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28913-28913
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28912-28912

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 252-257	If an entity is an instance of human youth and the age of the entity is a real number year duration(s) holds during a time position, then the real number is less than 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 259-267	If an entity is an instance of human youth holds during a time position, then there exists another entity such that the age of the entity is the other entity holds during the time position and the other entity is an instance of the interval from 0 year duration(s) to 17 year duration(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 286-292	If an entity is an instance of human and non fully formed is an attribute of the entity holds during a time position, then the entity is an instance of human youth holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 269-274	If an entity is an instance of human and the age of the entity is a real number year duration(s) holds during a time position and the real number is less than 18, then the entity is an instance of human youth holds during the time position

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