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

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 and BodyMotion

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	antagonistMuscles Muscle and Muscle 例 Motion and Extension 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Flexion, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11996-12006	例 Motion and Extension 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12021-12032	antagonistMuscles Muscle and Muscle 例 Motion and Flexion 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Extension, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11983-11994	例 Motion and Flexion agent Motion and AutonomousAgent 移動 Motion and Object Motion 例 Motion and Extension 等於何時 Motion and 何時 Motion agent Motion and AutonomousAgent 移動 Motion and Object

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