TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2443-2445
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6485-6487
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1135-1137
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6482-6482	The number 1 argument of mega is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6481-6481	Mega is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6483-6483	The range of mega is an instance of unit of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 637-637
No TPTP formula. May not be expressible in strict first order.	english_format.kif 640-640
No TPTP formula. May not be expressible in strict first order.	french_format.kif 385-385
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 181-181
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2115-2115
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 337-337
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 833-833
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 219-219
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 407-407
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 428-428
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 357-357
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36935-36935
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 638-638
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36934-36934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36933-36933

antecedent

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

Merge.kif 6489-6493

statement

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

Economy.kif 2008-2008