Extension - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Extension

Extension(extension)

extension, hyperextension

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11970-11981
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11968-11968	Extension is a subclass of body motion

appearance as argument number 2

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

domainEnglishFormat.kif 64862-64862

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12034-12045	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11996-12006	If a motion is an instance of extension 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 12021-12032	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 11983-11994	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

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