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 183-184
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2963-2963
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.	pictureList.kif 3117-3117
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3118-3118
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 178-178	Human adult is a subclass of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 181-181	Human adult is a subclass of legal agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28850-28850
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28849-28849
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28848-28848

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 355-373	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 204-210	If a self connected object is an instance of human adult and the height of the self connected object is a real number inch(s), then the real number is not greater than 120.0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1278-1286	If a collection is an instance of group of people and a cognitive agent is a member of the collection and a physical is a member of the collection and the physical 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.	Medicine.kif 5931-5940	If a human is an instance of human adult and the measure of the human is a real number Pounds(s), then the human has the real number2 liter(s) of blood and the real number2 is equal to the real number and 0.07 and 2.33
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 186-192	If an entity is an instance of human adult and the age of the entity is a real number year duration(s) holds during a time position, then the real number is greater than or equal to 18
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 220-224	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 194-202	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 212-218	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 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 226-232	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 2894-2903	If a hotel reservation may &umberAdultOccupant$"have" an integer adults and an agent fulfills the hotel reservation, 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 agent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2936-2951	If a hotel reservation is for an integer &umberSeniorOccupant$"seniors" and an agent fulfills the hotel reservation, then there exist a collection and a real number such that the collection is an instance of group of people and for all a physical if the physical is a member of the collection, then the physical is an instance of human adult and the age of the physical is the 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 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