TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 188-189
No TPTP formula. May not be expressible in strict first order.	WMD.kif 187-187	有毒生物是生物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 198-198	细菌剂是有毒生物的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 213-213	真菌剂是有毒生物的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 230-230	病毒剂是有毒生物的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58676-58676
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58675-58675
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58674-58674
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 220-220
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 223-223
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 258-258
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 224-224

appearance as argument number 3

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

WMD.kif 157-157

antecedent

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

WMD.kif 191-196

consequent

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

WMD.kif 166-178