Somersaulting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Somersaulting

Somersaulting(somersaulting)

flip, somersault, somersaulting, somerset, summersault, summerset

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 558-560
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2736-2736
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 557-557	Somersaulting is a subclass of body motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53934-53934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53933-53933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53932-53932

antecedent

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

Mid-level-ontology.kif 562-572

If a process is an instance of somersaulting 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 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