MuscularContraction - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MuscularContraction

MuscularContraction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11426-11427
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11424-11424	子類 MuscularContraction and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11425-11425	子類 MuscularContraction and OrganOrTissueProcess

appearance as argument number 2

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

domainEnglishFormat.kif 65235-65235

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3942-3952	例 Motion and MuscularContraction 移動 Motion and Object 例 Object and VoluntaryMuscle 例 Object and HeartMuscle Object 例 Object and Troponin 資源 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11429-11444	例 Process and MuscularContraction 患者 Process and Entity 例 Entity and Muscle 持有期間不久的過去何時 Process and length Entity and 測量 RealNumber and entity 持有期間眼前的未來何時 Process and length Entity and 測量 RealNumber and entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1757-1779	muscleInsertion Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1707-1728	muscleOrigin Muscle and BodyPart 例 Object and Human 持有期間 TimeInterval and attribute Object and StandardAnatomicalPosition attribute Object and Healthy 例 TimeInterval and MuscularContraction 期間何時 TimeInterval and TimeInterval 例 Object and Muscle 部分 Object and Object 儀器 TimeInterval and Object physicalEnd Object and Object 空間的符合 Object and Object 持有期間開始 TimeInterval and 位於 Object and entity 持有期間結束 TimeInterval and 位於 Object and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11543-11553	例 Motion and Extension 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11503-11513	例 Motion and Flexion 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11624-11636	例 Process and HeartBeat 患者 Process and Entity 例 Entity and 心 Process Process 例 Process and MuscularContraction 患者 Process and Entity 例 Process and MuscleRelaxing 患者 Process and Entity 子過程 Process and Process 子過程 Process and Process

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