CommonWheatGrass - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3956-3960
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3955-3955	子類 CommonWheatGrass and WheatGrass

appearance as argument number 2

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

Economy.kif 3961-3961

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3963-3968	例 Object and CommonWheatGrass 部分 ObjectELL and Object 例 ObjectELL and ObjectLASS 子類 ObjectLASS and HexaploidCell
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3970-3985	例 Collection and Collection Chromosome 是 Collection 的 member 類別會員 Object and Collection 部分 Object and CommonWheatGrass Collection Collection, Object and Object 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 EmmerWheatGrass 的 initially part 子集合 Collection and Collection 例 Collection and HomologousChromosomeSet Object 是 Collection 的 member 類別 %每個 Object 是 AegilopsTauschii 的 initially part

consequent

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

Economy.kif 4066-4069