TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3394-3395
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14474-14475
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 866-866
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14473-14473	子類 Microorganism and Organism

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14477-14477	子類 Bacterium and Microorganism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1614-1614	子類瘧疾瘧原蟲 and Microorganism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6266-6266	子類原生動物 and Microorganism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14500-14500	子類 Virus and Microorganism
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 973-973
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1153-1153
No TPTP formula. May not be expressible in strict first order.	french_format.kif 650-650
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 181-181
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 184-184
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2334-2334
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 602-602
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 218-218
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 671-671
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 185-185

appearance as argument number 3

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

Medicine.kif 2000-2000

appearance as argument number 5

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

Merge.kif 14379-14379

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5829-5838	例 Attribute and 傳染病 attribute AutonomousAgent and Attribute Process AutonomousAgent 例 Process and PathologicProcess agent Process and AutonomousAgent 例 AutonomousAgent and Microorganism 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5803-5812	例 Attribute and 非特異性疾病 Physical 例 Physical and Microorganism Object attribute Object and Attribute 位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 3547-3554	例 Process and Fermentation Object Object 例 Object and Carbohydrate 例 Object and Microorganism 儀器 Process and Object 資源 Process and Object