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
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
TeaPlantAerialPart
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
MapleWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
MapleTree
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
Oggetto
è una
sottoclasse
di
PlantStem
Oggetto
is
uguale
a
Alfalfa
initialPart
Oggetto
and
AlfalfaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
BeechWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CherryWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BlackCherryTree
initialPart
Oggetto
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Hardwood
Entit�Organica
è una
sottoclasse
di
PlantStem
l'affermazione
initialPart
Entit�Organica
and
DeciduousTree
ha il modello di forza di
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
PoplarWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
PoplarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WalnutWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
BirchWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BirchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
OkoumeWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
OkoumeTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
PineWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
PineTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
RedOakWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
BalsaWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
BalsaTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
SapeleWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Oggetto
is
uguale
a
OrganicObjectFn
Entit�Organica
Oggetto
è una
sottoclasse
di
Softwood
Entit�Organica
è una
sottoclasse
di
PlantStem
l'affermazione
initialPart
Entit�Organica
and
Conifers
ha il modello di forza di
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
FirWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
FirTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
CedarWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
LarchWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
LarchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
SpruceWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
SpruceTree
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Processo
è un'
istanza
di
Felling
Entit�
è un
risultato
di
Processo
Entit�
TEM
Entit�
è un'
istanza
di
DeadFn
Entit�
TEM
Entit�
TEM è una
sottoclasse
di
PlantStem
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WoodProduct
Oggetto
è una
sottoclasse
di
PlantStem
Oggetto
Oggetto
è una
sottoclasse
di
BotanicalTree
initialPart
Oggetto
and
Oggetto
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9560-9573
Oggetto
è un'
istanza
di
Pianta
Oggetto
è una
parte
di
Oggetto
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Trattenere
Entit�
è un'
istanza
di
FreshWater
Entit�
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
instrument
Oggetto
è un'
istanza
di
PlantLeaf
Oggetto
è un'
istanza
di
PlantStem
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WhiteOakWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
WhiteOakTree
(
subclass
PlantStem
PlantAnatomicalStructure
)
Mid-level-ontology.kif 9532-9532
PlantStem
è una
sottoclasse
di
PlantAnatomicalStructure
(
subclass
PlantStem
Organ
)
Mid-level-ontology.kif 9533-9533
PlantStem
è una
sottoclasse
di
Organo
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