TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3002-3003
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11096-11097
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1765-1766
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1052-1052
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11094-11094	子類 BodyMotion and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11138-11138	子類走動 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 447-447	子類 Blinking and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11551-11551	子類咀嚼 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4381-4381	子類 Crawling and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11183-11183	子類 Dancing and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19999-19999	子類拆卸 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 445-445	子類躲著 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13119-13119	子類迴避 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1358-1358	子類 EmotionalBodilyMovementBehavior and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10619-10619	子類 Extension and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19939-19939	子類眼球運動 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10595-10595	子類 Flexion and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13092-13092	子類手勢 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10714-10714	子類 HeartBeat and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13095-13095	子類傾斜 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1017-1017	子類指示 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 543-543	子類跳躍 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19885-19885	子類 KneelingDown and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19860-19860	子類躺著 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 465-465	子類安裝 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10550-10550	子類 MuscleRelaxing and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10528-10528	子類 MuscularContraction and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5714-5714	子類 Scratching and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19969-19969	子類聳肩 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19905-19905	子類坐下 and BodyMotion

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10577-10593	例 Object and BodySegment 例 Object and BodySegment 連接的 Object and Object 例 Motion and BodyMotion 移動 Motion and Object 模態屬性 Motion 例 Motion and BodyMotion 移動 Motion and Object 期間何時 Motion and 何時 Motion and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10404-10410	例 Object and Muscle 例 Process and BodyMotion 儀器 Process and Object 例 Process and IntentionalProcess 例 Object and VoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11110-11116	例 Motion and BodyMotion 移動 Motion and Object 例 Object and BodyPart 患者 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8243-8257	例 Process and RecreationOrExercise 儀器 Process and ProcessM 例 ProcessM and RowingMachine 體驗者 Process and AutonomousAgent 例 ProcessOW and 划船子過程 ProcessMOT and Process 子類 Class and BodyMotion 例 ProcessMOT and Class ProcessOWMOT 例 ProcessOWMOT and Class 子過程 ProcessOWMOT and Process agent ProcessOWMOT and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11119-11124	例 Process and BodyMotion AutonomousAgent 例 AutonomousAgent and Organism agent Process and AutonomousAgent

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6470-6482	持有期間 TimeInterval and attribute AutonomousAgent and AVPUPainStatus 例 Process and 痛期間何時 Process and TimeInterval 體驗者 Process and AutonomousAgent Process 例 Process and BodyMotion 體驗者 Process and AutonomousAgent 期間何時 Process and TimeInterval 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30242-30253	例 AutonomousAgent and AutonomousAgent 持有期間 TimeInterval and attribute AutonomousAgent and Motionless Process 例 Process and BodyMotion 例 Process and IntentionalProcess agent Process and AutonomousAgent 期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10577-10593	例 Object and BodySegment 例 Object and BodySegment 連接的 Object and Object 例 Motion and BodyMotion 移動 Motion and Object 模態屬性 Motion 例 Motion and BodyMotion 移動 Motion and Object 期間何時 Motion and 何時 Motion and 可能性
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1202-1212	例 Process and PressingLipsTogether agent Process and AutonomousAgent Object Process 例 Object and 唇部分 Object and AutonomousAgent 例 Process and BodyMotion 患者 Process and Object agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1664-1676	例 Process and 說話例 Object and Jaw agent Process and AutonomousAgent 部分 Object and AutonomousAgent 模態屬性 entity 例 entity and BodyMotion objectTransferred entity and Object 期間何時 entity and 何時 Process and 容易
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1523-1533	例 Process and StayingStill 體驗者 Process and AutonomousAgent Process Process 例 Process and BodyMotion 例 Process and 易位原因 Process and Process agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6330-6344	attribute AutonomousAgent and 例 entity and ParalysisFn entityART Object 例 Object and Muscle 部分 Object and entityART 部分 entityART and AutonomousAgent Process 例 Process and BodyMotion agent Process and AutonomousAgent 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6307-6318	attribute AutonomousAgent and 麻痺 Object 例 Object and Muscle 部分 Object and AutonomousAgent Process 例 Process and BodyMotion agent Process and AutonomousAgent 患者 Process and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18047-18057	例 AutonomousAgent and Animal Process 例 Process and BodyMotion agent Process and AutonomousAgent Attribute 例 Attribute and 身體姿勢 attribute AutonomousAgent and Attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12163-12176	例 Physical and 眼皮有目的 Physical and PhysicalYE entity and entity 例 entity and Covering 例 entity and BodyMotion 例 entity and Human 體驗者 entity and entity 儀器 entity and Physical 患者 entity and PhysicalYE 例 PhysicalYE and 眼睛部分 PhysicalYE and entity 部分 Physical and entity

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

KB Term:			Term intersection

English Word: