TreeView Knowledge Base Browser - Jumping

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Jumping

Jumping(jumping)

bounce, bound, caper, capriole, curvet, hop, hop-skip, jounce, jump, leap, leapfrog, leaping, overleap, pronk, saltate, saltation, ski_jump, skip, spring, vault

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 545-546
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2835-2835
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2695-2695
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2836-2836
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1150-1150
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 543-543	Jumping is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 544-544	Jumping is a subclass of motion upward

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31891-31891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31890-31890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31889-31889

antecedent

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

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