TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4052-4053
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4051-4051	小麦籽粒是谷物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6163-6163	小麦籽粒是小麦种植的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Food.kif 1490-1490	%每个 WheatFlour 是小麦籽粒的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4059-4059	CommonWheatGrain 是小麦籽粒的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4071-4071	DurumWheatGrain 是小麦籽粒的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4091-4091	EinkornWheatGrain 是小麦籽粒的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4081-4081	EmmerWheatGrain 是小麦籽粒的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4101-4101	SpeltWheatGrain 是小麦籽粒的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62973-62973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62972-62972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62971-62971

antecedent

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

Food.kif 1499-1501

consequent

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

Economy.kif 4055-4057