TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10716-10718
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10719-10719
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 10713-10713	子類 HeartBeat and Impelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10715-10715	子類 HeartBeat and OrganOrTissueProcess

appearance as argument number 2

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

domainEnglishFormat.kif 64973-64973

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10728-10740	例 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10721-10726	例 Process and HeartBeat Entity 患者 Process and Entity 例 Entity and 心

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10345-10357	heartRate 心, TimeInterval and Integer Collection Process 例 Collection and Collection HeartBeat 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數會員 Process and Collection 患者 Process and 心期間何時 Process and TimeInterval
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 599-607	例 Physical and CPR 有目的 Physical and entity entity 例 entity and Human 例 entity and HeartBeat 位於 entity and entity 原因 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10742-10751	例 Physical and 心有目的 Physical and entity PhysicalB and entity 例 PhysicalB and HeartBeat 例 entity and 液體運動例 entity and Blood 移動 entity and entity 原因 PhysicalB and entity

statement

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

Medicine.kif 4325-4325