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 15889-15890
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 15888-15888	子類可穿戴物品 and Artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29726-29726	範圍子類 CoveringFn and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15900-15900	子類 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 3445-3445	子類聽力保護 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 3479-3479	子類防護眼鏡 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3527-3527	子類呼吸器 and 可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3420-3420	子類安全套 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 15925-15925

antecedent

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

Merge.kif 15892-15898