TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3453-3454
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14700-14702
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4581-4581
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14699-14699	碳水化物是复合物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14698-14698	碳水化物是营养的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9220-9220	纤维素是碳水化物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9223-9223	淀粉是碳水化物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9227-9227	糖是碳水化物的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1008-1008
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1228-1228
No TPTP formula. May not be expressible in strict first order.	french_format.kif 685-685
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 219-219
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2369-2369
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 637-637
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 253-253
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 706-706
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 220-220

appearance as argument number 3

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

Merge.kif 14682-14682

consequent

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

Food.kif 3547-3554