EinkornWheatGrass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3929-3931
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3928-3928	子類 EinkornWheatGrass and WheatGrass

appearance as argument number 2

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

Economy.kif 3932-3932

antecedent

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

Economy.kif 3934-3939

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3879-3894	例 Collection and Collection Chromosome 是 Collection 的 member 類別會員 Object and Collection 部分 Object and EmmerWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 EinkornWheatGrass 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsGrass 的 initially part
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4096-4099	等於 Plant and PlantFn EinkornWheatGrain 子類 Plant and EinkornWheatGrass