Term Intersection
: 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
Term 1:
Term 2:
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Malt
objet
est une
sous
-classe de
CerealGrain
initialPart
objet
and
CerealGrass
(
subclass
CerealGrass
Grass
)
Economy.kif 3813-3813
CerealGrass
est une
sous
-classe de
Grass
(
subclass
PaddyRice
CerealGrass
)
Economy.kif 3817-3817
PaddyRice
est une
sous
-classe de
CerealGrass
(
subclass
MaizeGrass
CerealGrass
)
Economy.kif 3821-3821
MaizeGrass
est une
sous
-classe de
CerealGrass
(
subclass
SorghumGrass
CerealGrass
)
Economy.kif 3826-3826
SorghumGrass
est une
sous
-classe de
CerealGrass
(
subclass
WheatGrass
CerealGrass
)
Economy.kif 3860-3860
WheatGrass
est une
sous
-classe de
CerealGrass
(
subclass
RyeGrass
CerealGrass
)
Economy.kif 4000-4000
RyeGrass
est une
sous
-classe de
CerealGrass
(
subclass
OatGrass
CerealGrass
)
Economy.kif 4007-4007
OatGrass
est une
sous
-classe de
CerealGrass
(
subclass
BarleyGrass
CerealGrass
)
Economy.kif 4012-4012
BarleyGrass
est une
sous
-classe de
CerealGrass
(
subclass
MilletGrass
CerealGrass
)
Economy.kif 4017-4017
MilletGrass
est une
sous
-classe de
CerealGrass
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