TreeView Knowledge Base Browser - Extension

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 10620-10631
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10618-10618	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 64839-64839

antecedent

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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10646-10656	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 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

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