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
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
TeaPlantAerialPart
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
MapleWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
MapleTree
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
Wenn
** Object
ist eine
teilkategorie
von
PlantStem
und
** Object
ist gleich
Alfalfa
%n{nicht},
dann
initialPart
** ** Object
and
AlfalfaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
BeechWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
CherryWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
BlackCherryTree
oder
initialPart
** ** ** Object
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Hardwood
und
** OrganicObject
ist eine
teilkategorie
von
PlantStem
,
dann die Aussage
initialPart
** ** OrganicObject
and
DeciduousTree
hat die modale Kraft von
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
PoplarWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
PoplarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WalnutWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
BirchWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
BirchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
OkoumeWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
OkoumeTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
PineWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
PineTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
RedOakWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
BalsaWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
BalsaTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
SapeleWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Softwood
und
** OrganicObject
ist eine
teilkategorie
von
PlantStem
,
dann die Aussage
initialPart
** ** OrganicObject
and
Conifers
hat die modale Kraft von
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
FirWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
FirTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
CedarWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
LarchWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
LarchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
SpruceWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
SpruceTree
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Wenn
Process
ist ein
fall
von
Felling
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann es gibt
** Entity
TEM um
** Entity
ist ein
fall
von
DeadFn
** Entity
TEM %n{nicht} und
** Entity
TEM ist eine
teilkategorie
von
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
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WoodProduct
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann es gibt
** ** Object
um
** ** Object
ist eine
teilkategorie
von
BotanicalTree
und
initialPart
** ** ** Object
and
** ** ** Object
(=>
(
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 9561-9574
Wenn
Object
ist ein
fall
von
Plant
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht},
dann es gibt
Process
,
Entity
, and und
** ** Process
um
** Process
ist ein
fall
von
** ** Process
%n{nicht} und
** ** ** Process
ist eine
teilkategorie
von
Keeping
und
** Entity
ist ein
fall
von
FreshWater
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht} und
** ** Object
ist faehig %n{nicht}, in der Rolle
instrument
** ** ** Process
zu tun und
** ** Object
ist ein
fall
von
PlantLeaf
%n{nicht} oder
** ** Object
ist ein
fall
von
PlantStem
%n{nicht}
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WhiteOakWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
WhiteOakTree
(
subclass
PlantStem
PlantAnatomicalStructure
)
Mid-level-ontology.kif 9533-9533
PlantStem
ist eine
teilkategorie
von
PlantAnatomicalStructure
(
subclass
PlantStem
Organ
)
Mid-level-ontology.kif 9534-9534
PlantStem
ist eine
teilkategorie
von
Organ
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