Flexion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11946-11954
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11944-11944	子類 Flexion and BodyMotion

appearance as argument number 2

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

domainEnglishFormat.kif 64895-64895

antecedent

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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11956-11966	例 Motion and Flexion 移動 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 12034-12045