Standing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Standing

Standing(standing)

ramp, stand, stand_back, stand_up, standing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 4008-4009
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18060-18061
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18059-18059	Standing is an instance of body position

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1782-1782	Standard anatomical position is a subattribute of standing
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55014-55014
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55013-55013
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55012-55012

antecedent

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1469-1481	If an object is an instance of eyebrow and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and the object is a part of the other object, then there exists the objectYE such that the objectYE is an instance of eye and the objectYE is a part of the other object and the object is above to the objectYE
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1488-1500	If an object is an instance of forehead and healthy is an attribute of another object and standing is an attribute of the other object holds during a time position and a third object is a part of the other object, then there exists the third objectYE such that the third objectYE is an instance of eye and the third objectYE is a part of the other object and the object is above to the third objectYE

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 18063-18067	If a process is an instance of ambulating and an agent is an agent of the process, then standing is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 548-555	If a process is an instance of jumping and an agent is an agent of the process, then standing is not an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19910-19920	If a process is an instance of sitting down and an agent is an agent of the process, then standing is an attribute of the agent holds during the beginning of the time of existence of the process and sitting is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19927-19937	If a process is an instance of standing up and an agent is an agent of the process, then sitting is an attribute of the agent holds during the beginning of the time of existence of the process and standing is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16411-16427	If dizzy is an attribute of an entity holds during a time position, then the entity believes if there exists the time position2 such that the time position2 takes place during the time position and standing is an attribute of the entity holds during the time position2, then there exists a third entity such that the third entity is an instance of falling and the entity experiences the third entity and the time position2 meets the time of existence of the third entity holds during the time position

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