EinkornWheatGrass - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EinkornWheatGrass EnglishLanguage "Einkorn wheat can refer either to a wild species of wheat (Triticum) or to its domesticated form. The wild form is T. boeoticum, and the domesticated form is T. monococcum.Einkorn is a diploid species (2 sets of chromosomes) of hulled wheat, with tough glumes ('husks') that tightly enclose the grains.[wikipedia]")	Economy.kif 4266-4268
(subclass EinkornWheatGrass WheatGrass)	Economy.kif 4265-4265	子類 EinkornWheatGrass and WheatGrass

appearance as argument number 2

Economy.kif 4269-4269

antecedent

(=>
    (and
        (instance ?E EinkornWheatGrass)
        (part ?C ?E)
        (instance ?E ?CLASS))
    (subclass ?CLASS DiploidCell))

Economy.kif 4271-4276

consequent

(=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M EmmerWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EinkornWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsGrass))))	Economy.kif 4216-4231	例 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
(=> (equal ?X (PlantFn EinkornWheatGrain)) (subclass ?X EinkornWheatGrass))	Economy.kif 4433-4436	equal Plant and PlantFn EinkornWheatGrain 子類 Plant and EinkornWheatGrass