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
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
If
a plant
is a
Removing
a plant leaf
from its stems and
the plant
is an
instance
of
deciduous tree
and
the plant leaf
is an
instance
of
plant leaf
,
then there exist
a kind of process
and
another process
such that
a kind of process
is a
subclass
of
removing
and
the kind of process
occur
s every
year duration
and
the other process
is an
instance
of
the kind of process
and
the other process
originate
s at
the plant
and
the plant leaf
is a
patient
of
the other process
(=>
(
equal
?P
(
PlantFn
Apple
))
(
subclass
?P
DeciduousTree
))
Food.kif 2184-2186
If
a kind of plant
is
equal
to
plant fn
apple
,
then
a kind of plant
is a
subclass
of
deciduous tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
hardwood
and
a kind of organic object
is a
subclass
of
plant stem
,
then the statement every
the kind of organic object
is
initially
part
of a
deciduous tree
has the
modal
force
of
likely
(
subclass
DeciduousTree
BotanicalTree
)
Geography.kif 6388-6388
Deciduous tree
is a
subclass
of
botanical tree
(
subclass
BalsaTree
DeciduousTree
)
Geography.kif 6479-6479
Balsa tree
is a
subclass
of
deciduous tree
(
subclass
BeechTree
DeciduousTree
)
Geography.kif 6484-6484
Beech tree
is a
subclass
of
deciduous tree
(
subclass
BirchTree
DeciduousTree
)
Geography.kif 6489-6489
Birch tree
is a
subclass
of
deciduous tree
(
subclass
BlackCherryTree
DeciduousTree
)
Geography.kif 6494-6494
Black cherry tree
is a
subclass
of
deciduous tree
(
subclass
SweetCherryTree
DeciduousTree
)
Geography.kif 6499-6499
Sweet cherry tree
is a
subclass
of
deciduous tree
(
subclass
MapleTree
DeciduousTree
)
Geography.kif 6503-6503
Maple tree
is a
subclass
of
deciduous tree
(
subclass
OkoumeTree
DeciduousTree
)
Geography.kif 6507-6507
Okoume tree
is a
subclass
of
deciduous tree
(
subclass
PoplarTree
DeciduousTree
)
Geography.kif 6512-6512
Poplar tree
is a
subclass
of
deciduous tree
(
subclass
CottonwoodTree
DeciduousTree
)
Geography.kif 6516-6516
Cottonwood tree
is a
subclass
of
deciduous tree
(
subclass
AspenTree
DeciduousTree
)
Geography.kif 6519-6519
Aspen tree
is a
subclass
of
deciduous tree
(
subclass
RedOakTree
DeciduousTree
)
Geography.kif 6522-6522
Red oak tree
is a
subclass
of
deciduous tree
(
subclass
SapeleTree
DeciduousTree
)
Geography.kif 6526-6526
Sapele tree
is a
subclass
of
deciduous tree
(
subclass
WalnutTree
DeciduousTree
)
Geography.kif 6531-6531
Walnut tree
is a
subclass
of
deciduous tree
(
subclass
WhiteOakTree
DeciduousTree
)
Geography.kif 6536-6536
White oak tree
is a
subclass
of
deciduous tree
(
subclass
WillowTree
DeciduousTree
)
Geography.kif 6541-6541
Willow tree
is a
subclass
of
deciduous tree
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
