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 - sheddingLeaves
sheddingLeaves
appearance as argument number 1
(
documentation
sheddingLeaves
EnglishLanguage
"A relation between a
Plant
and its leaves which is given off as part of the normal process of life.")
Geography.kif 6507-6508
(
domain
sheddingLeaves
1
Plant
)
Geography.kif 6505-6505
The number 1 argument of
shedding leaves
is an
instance
of
plant
(
domain
sheddingLeaves
2
PlantLeaf
)
Geography.kif 6506-6506
The number 2 argument of
shedding leaves
is an
instance
of
plant leaf
(
instance
sheddingLeaves
SheddingPart
)
Geography.kif 6504-6504
shedding leaves
is an
instance
of
shedding part
appearance as argument number 2
(
format
EnglishLanguage
sheddingLeaves
"%1 is a
Removing
%2 from its stems")
domainEnglishFormat.kif 5019-5019
(
termFormat
EnglishLanguage
sheddingLeaves
"shedding leaves")
domainEnglishFormat.kif 65992-65992
antecedent
(=>
(
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 6461-6472
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
consequent
(=>
(
and
(
instance
?T
EvergreenTree
)
(
instance
?L
PlantLeaf
))
(
not
(
sheddingLeaves
?T ?L)))
Geography.kif 6616-6621
If
a plant
is an
instance
of
evergreen tree
and
a plant leaf
is an
instance
of
plant leaf
,
then not
the plant
is a
Removing
the plant leaf
from its stems
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
