TreeView Knowledge Base Browser - StandingUp

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

AllOtherGeneralPurposeMachineryManufacturing

Sigma KEE - StandingUp

StandingUp(standing up)

arise, get_up, rear, rise, rise_up, stand_up, straighten, turn_out, uprise

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19951-19952
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2935-2935
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2738-2738
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19949-19949	Standing up is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19950-19950	Standing up is a subclass of motion upward

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55022-55022
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55021-55021
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55020-55020

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 19954-19964

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

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