TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3612-3613
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15911-15912
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8793-8793
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15910-15910	子類可穿戴物品 and Artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29714-29714	範圍子類 CoveringFn and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15922-15922	子類 Clothing and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 503-503	子類 Earphone and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4457-4457	子類 FitbitDevice and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3453-3453	子類聽力保護 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6116-6116	子類首飾 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Economy.kif 6090-6090	子類個人裝飾 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3487-3487	子類防護眼鏡 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3535-3535	子類呼吸器 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3428-3428	子類安全套 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62595-62595
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62594-62594
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62593-62593

appearance as argument number 3

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

Merge.kif 15947-15947

antecedent

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

Merge.kif 15914-15920