TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10596-10604
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10594-10594	Flexion is a subclass of body motion

appearance as argument number 2

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

domainEnglishFormat.kif 64872-64872

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10671-10682	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing extension as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10633-10644	If a motion is an instance of flexion and an agent is an agent of the motion and an object moves during the motion, then there doesn't exist another motion such that the other motion is an instance of extension and the time of existence of the other motion is equal to the time of existence of the motion and the agent is an agent of the other motion and the object moves during the other motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10606-10616	If a motion is an instance of flexion and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of muscular contraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion

consequent

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

Mid-level-ontology.kif 10684-10695

If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of extension and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal,
then the other kind of muscleC is capable of doing flexion as a instrument

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

KB Term:			Term intersection

English Word: