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 - DVDSystem
DVDSystem
(dvd player)
appearance as argument number 1
(
documentation
DVDSystem
EnglishLanguage
"
DVDSystem
is a type of
MediaSystem
that is able to play the contents of
VideoRecording
and
AudioRecording
stored in a
DVD
")
Media.kif 1270-1272
(
subclass
DVDSystem
MediaSystem
)
Media.kif 1269-1269
Dvd player
is a
subclass
of
media system
appearance as argument number 2
(
termFormat
EnglishLanguage
DVDSystem
"dvd player")
Media.kif 1273-1273
antecedent
(=>
(
instance
?X
DVDSystem
)
(
hasPurpose
?X
(
exists
(?DVD ?PROC)
(
and
(
instance
?DVD
DVD
)
(
instrument
?PROC ?X)
(
patient
?PROC ?DVD)
(
or
(
exists
(?VIDEO ?DVIDEO ?RL)
(
and
(
instance
?VIDEO
VideoRecording
)
(
represents
?DVIDEO ?VIDEO)
(
part
?DVIDEO ?DVD)
(
instance
?RL
RadiatingLight
)
(
subProcess
?RL ?PROC)
(
instrument
?RL ?X)
(
patient
?RL ?VIDEO)))
(
exists
(?AUDIO ?DAUDIO ?RS)
(
and
(
instance
?AUDIO
AudioRecording
)
(
represents
?DAUDIO ?AUDIO)
(
part
?DAUDIO ?DVD)
(
instance
?RS
RadiatingSound
)
(
subProcess
?RS ?PROC)
(
instrument
?RS ?X)
(
patient
?RS ?AUDIO))))))))
Media.kif 1275-1301
If
a physical
is an
instance
of
dvd player
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
DVD
and
the physical
is an
instrument
for
the other entity
and
the entity
is a
patient
of
the other entity
and there exist
a third entity
,
a fourth entity
and
a fifth entity
such that
the third entity
is an
instance
of
video recording
and
the fourth entity
express
es
the third entity
and
the fourth entity
is a
part
of
the entity
and
the fifth entity
is an
instance
of
radiating light
and
the fifth entity
is a
subprocess
of
the other entity
and
the physical
is an
instrument
for
the fifth entity
and
the third entity
is a
patient
of
the fifth entity
or there exist
a sixth entity
,
a seventh entity
and
a eighth entity
such that
the sixth entity
is an
instance
of
audio recording
and
the seventh entity
express
es
the sixth entity
and
the seventh entity
is a
part
of
the entity
and
the eighth entity
is an
instance
of
radiating sound
and
the eighth entity
is a
subprocess
of
the other entity
and
the physical
is an
instrument
for
the eighth entity
and
the sixth entity
is a
patient
of
the eighth entity
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
