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)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 322-323
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 3122-3122
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3119-3119
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3120-3120
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 316-316	Human adult is a subclass of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 320-320	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 28837-28837
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28836-28836
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28835-28835

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 349-354	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 1235-1243	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 333-338	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 366-370	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 341-346	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 357-363	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 373-379	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 2839-2848	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 2881-2896	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 3.0 is open source software produced by Articulate Software and its partners