TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12808-12808
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 64-64
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12806-12806	子類軀幹 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12807-12807	子類軀幹 and BodyPart

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10775-10775	%每個 LatissimusDorsi 是軀幹的 initially part
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 249-249	%每個 ThoraxBone 是軀幹的 initially part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12820-12820	每個 Abdomen 是軀幹的 part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58502-58502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58501-58501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58500-58500
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10774-10774	LatissimusDorsi typically 是軀幹的 part

antecedent

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

Mid-level-ontology.kif 12810-12815

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11219-11229	例 Object and Chest 例 Class and Animal 例 Object and Class 部分 Object and Class Object 例 Object and 軀幹部分 Object and Object 部分 Object and Class
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1738-1751	例 Process and ExperiencingHeatInCheeksOrChest 體驗者 Process and AutonomousAgent Process Object 例 Process and Perception 子過程 Process and Process agent Process and AutonomousAgent 患者 Process and Object 例 Object and 軀幹例 Object and 面對部分 Object and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12833-12839	例 Object and 乳房 SelfConnectedObject 例 SelfConnectedObject and 軀幹部分 Object and 面前 SelfConnectedObject
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5659-5666	例 SelfConnectedObject and HumanBack Object SelfConnectedObject 例 Object and Human 例 SelfConnectedObject and 軀幹部分 SelfConnectedObject and Object 等於 SelfConnectedObject and 背部 SelfConnectedObject

statement

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

Mid-level-ontology.kif 5260-5260