TriticumUrartu - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TriticumUrartu WheatGrass)	Economy.kif 4273-4273	Triticum urartu is a subclass of wheat grass
(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 4274-4276	Triticum urartu is a subclass of wheat grass

appearance as argument number 2

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

antecedent

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

consequent

(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (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))))

If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of durum wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a Triticum urartu (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Speltoides