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 4279-4281
(subclass TriticumUrartu WheatGrass)	Economy.kif 4278-4278	Triticum urartu is a subclass of wheat grass

appearance as argument number 2

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

antecedent

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

Economy.kif 4285-4290

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 4248-4263