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 - SheddingPart
SheddingPart
(shedding part)
appearance as argument number 1
(
documentation
SheddingPart
EnglishLanguage
"The
Class
of
BinaryPredicate
s relating an
Organism
and the
Removing
of one of its Part as part of the normal process of life. Unlike
Birth
, the paitent dies upon its removal from the its origin.")
Geography.kif 6476-6478
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6475-6475
Shedding part
is
internally
related to
Dead fn
(
subclass
SheddingPart
BinaryPredicate
)
Geography.kif 6474-6474
Shedding part
is a
subclass
of
binary predicate
appearance as argument number 2
(
instance
sheddingBodyPart
SheddingPart
)
Geography.kif 6515-6515
shedding body part
is an
instance
of
shedding part
(
instance
sheddingLeaves
SheddingPart
)
Geography.kif 6504-6504
shedding leaves
is an
instance
of
shedding part
(
termFormat
EnglishLanguage
SheddingPart
"shedding part")
domainEnglishFormat.kif 65505-65505
shedding leaves
is an
instance
of
shedding part
antecedent
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O ?ORG)
(
subclass
?ORG
Organism
))
(
exists
(?PART)
(
and
(
instance
?P
(
DeadFn
?PART))
(
initialPart
?PART ?ORG))))
Geography.kif 6493-6502
If
an entity
is an
instance
of
shedding part
and
the entity
another entity
and
a third entity
and
the other entity
is an
instance
of
the other entity
RG and
the other entity
RG is a
subclass
of
organism
,
then there exists
the third entity
ART such that
the third entity
is an
instance
of a
dead
the third entity
ART and every
the third entity
ART is
initially
part
of a
the other entity
RG
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O
Organism
)
(
instance
?P
AnatomicalStructure
)
(
part
?P ?O))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
origin
?R ?O)
(
patient
?R ?P))))
Geography.kif 6480-6491
If
an entity
is an
instance
of
shedding part
and
the entity
an object
and
another object
and
the object
is an
instance
of
organism
and
the other object
is an
instance
of
anatomical structure
and
the other object
is a
part
of
the object
,
then there exists
a process
such that
the process
is an
instance
of
removing
and
the process
originate
s at
the object
and
the other object
is a
patient
of
the process
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
