TreeView Knowledge Base Browser - MuscularContraction

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

MuscularContraction

Sigma KEE - MuscularContraction

MuscularContraction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10529-10530
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10527-10527	子類 MuscularContraction and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10528-10528	子類 MuscularContraction and OrganOrTissueProcess

appearance as argument number 2

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

domainEnglishFormat.kif 65212-65212

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3954-3964	例 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 10532-10547	例 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 1758-1780	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 1708-1729	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 10646-10656	例 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 10606-10616	例 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 10727-10739	例 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 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