TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 153-156
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10524-10524
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9908-9908
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10522-10522
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10521-10521
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10520-10520
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10523-10523
No TPTP formula. May not be expressible in strict first order.	WMD.kif 157-157	Biological agent is exhaustively partitioned into toxin and toxic organism
No TPTP formula. May not be expressible in strict first order.	WMD.kif 152-152	Biological agent is a subclass of biochemical agent

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 82-82	Biochemical agent is exhaustively partitioned into biological agent and chemical agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 88-88	The values returned by Agent of organism fn are subclasses of biological agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 159-159	Toxin is a subclass of biological agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11093-11093
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11092-11092
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11091-11091

appearance as argument number 3

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

WMD.kif 970-970

consequent

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

WMD.kif 145-150