HumanAdult - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - HumanAdult

HumanAdult(human adult)

adult, grownup, human_adult, 人类成人, 人類成人

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 323-324
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2965-2965	"http://upload.wikimedia.org/wikipedia/commons/6/68/ Photoshooting.jpg" is a URL depicting human adult
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3122-3122	"http://upload.wikimedia.org/wikipedia/commons/9/95/ Human_2.jpg" is a URL depicting human adult
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3119-3119	"http://upload.wikimedia.org/wikipedia/commons/9/9e/ George_Stephanopoulos_crop.jpg" is a URL depicting human adult
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3120-3120	"http://upload.wikimedia.org/wikipedia/commons/c/c1/ Wedding.smallgroup.arp.750pix.jpg" is a URL depicting human adult
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 317-317	Human adult is a subclass of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 321-321	Human adult is a subclass of LegalAgent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28747-28747	"人类成人" is the printable form of human adult in ChineseLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28746-28746	"人類成人" is the printable form of human adult in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28745-28745	"human adult" is the printable form of human adult in english language

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 350-355	If a self connected object is an instance of human adult and the height of the self connected object is a length measure, then the length measure is not greater than 120 inch(s)
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1221-1229	If a collection is an instance of group of people and a cognitive agent is a member of the collection and an object is a member of the collection and the object is an instance of human baby and the cognitive agent is an instance of human adult and an entity is an instance of crib, then the cognitive agent is interested in the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 334-339	If an entity is an instance of human adult and the age of the entity is a quantity year duration(s) holds during a time position, then the quantity is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 367-371	If an entity is an instance of human adult holds during a time position, then the developmental form of the entity is fully formed holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 342-347	If an entity is an instance of human adult 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 18 year duration(s) to 120 year duration(s)

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 358-364	If an entity is an instance of human and the age of the entity is a quantity year duration(s) holds during a time position and the quantity is greater than or equal to 18, then the entity is an instance of human adult holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 374-380	If an entity is an instance of human and fully formed is an attribute of the entity holds during a time position, then the entity is an instance of human adult holds during the time position
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2825-2834	If an agent may have an integer adults and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and human adult is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the other agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2867-2882	If an agent is for an integer seniors and the agent fulfills another agent, then there exists a collection such that the collection is an instance of group of people and for all an object if the object is a member of the collection, then the object is an instance of human adult and the age of the object is a real number year duration(s) and the real number is greater than or equal to 60 and the integer is a member count of the collection and the collection is a potential customer for the other agent

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners