SittingDown - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - SittingDown

SittingDown(sitting down)

sit, sit_back, sit_down, take_it_easy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19934-19935
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2735-2735
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19932-19932	Sitting down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19933-19933	Sitting down is a subclass of motion downward

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53266-53266
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53265-53265
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53264-53264

antecedent

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

Mid-level-ontology.kif 19937-19947

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

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