TriticumUrartu - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TriticumUrartu EnglishLanguage "riticum urartu, also known as red wild einkorn wheat,[2] and a form of einkorn wheat, is a grass species related to wheat, and native to western Asia. It is a diploid (2 sets of chromosome. [wikipedia]")	Economy.kif 4152-4154
(subclass TriticumUrartu WheatGrass)	Economy.kif 4151-4151	Triticum urartu is a subclass of wheat grass

appearance as argument number 2

(names "red wild einkron wheat" TriticumUrartu)	Economy.kif 4156-4156	Triticum urartu has name "red wild einkron wheat"
(termFormat EnglishLanguage TriticumUrartu "Triticum urartu")	Economy.kif 4155-4155	Triticum urartu has name "red wild einkron wheat"

antecedent

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

Economy.kif 4158-4163

consequent

(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M DurumWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X TriticumUrartu)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsSpeltoides))))

Economy.kif 4121-4136