Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - EinkornWheatGrass
EinkornWheatGrass
(einkorn wheat grass)
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 4139-4141
(
subclass
EinkornWheatGrass
WheatGrass
)
Economy.kif 4138-4138
Einkorn wheat grass
is a
subclass
of
wheat grass
appearance as argument number 2
(
termFormat
EnglishLanguage
EinkornWheatGrass
"einkorn wheat grass")
Economy.kif 4142-4142
antecedent
(=>
(
and
(
instance
?E
EinkornWheatGrass
)
(
part
?C ?E)
(
instance
?E ?CLASS))
(
subclass
?CLASS
DiploidCell
))
Economy.kif 4144-4149
If
an object
is an
instance
of
einkorn wheat grass
and
another object
is a
part
of
the object
and
the object
is an
instance
of
the other object
LASS,
then
the other object
LASS is a
subclass
of
diploid cell
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 4089-4104
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
emmer wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub_collection
of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
einkorn wheat grass
and
the third collection
is a proper
sub_collection
of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops grass
(=>
(
equal
?X
(
PlantFn
EinkornWheatGrain
))
(
subclass
?X
EinkornWheatGrass
))
Economy.kif 4306-4309
If
a kind of plant
is
equal
to
plant fn
Einkorn wheat grain
,
then
a kind of plant
is a
subclass
of
einkorn wheat grass
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is
open source software
produced by
Articulate Software
and its partners
