TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3897-3901
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3896-3896	子類 DurumWheatGrass and WheatGrass

appearance as argument number 2

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

Economy.kif 3902-3902

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3911-3926	例 Collection and Collection Chromosome 是 Collection 的 member 類別會員 Object and Collection 部分 Object and DurumWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 TriticumUrartu 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsSpeltoides 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3904-3909	例 Object and DurumWheatGrass 部分 Object and Object 例 Object and ObjectLASS 子類 ObjectLASS and TetraploidCell

consequent

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

Economy.kif 4076-4079