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 19907-19908
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 19905-19905	Sitting down is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19906-19906	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 53264-53264
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53263-53263
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53262-53262

antecedent

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

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