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
PlayingInstrumentFn
Sigma KEE - PlayingInstrumentFn
PlayingInstrumentFn
appearance as argument number 1
(
comment
PlayingInstrumentFn
"This was taken from Biography.kif and moved to Music.kif. 09-28-2011" "KJN")
Music.kif 825-826
(
documentation
PlayingInstrumentFn
EnglishLanguage
"(PlayingInstrumentFn ?INSTRUMENT) denotes the class of events in which a musical instrument of type ?INSTRUMENT is played.")
Music.kif 823-824
(
domainSubclass
PlayingInstrumentFn
1
Device
)
Music.kif 827-827
Die Zahl 1 Argument von
PlayingInstrumentFn
ist eine
teilkategorie
von
Device
%n{nicht}
(
instance
PlayingInstrumentFn
UnaryFunction
)
Music.kif 828-828
PlayingInstrumentFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
PlayingInstrumentFn
MakingInstrumentalMusic
)
Music.kif 829-829
Die werte die
PlayingInstrumentFn
zurueckgibt sind
teilkategorien
von
MakingInstrumentalMusic
appearance as argument number 2
(
format
ChineseLanguage
PlayingInstrumentFn
"playing %1 ")
domainEnglishFormat.kif 4118-4118
(
format
ChineseTraditionalLanguage
PlayingInstrumentFn
"playing %1 ")
domainEnglishFormat.kif 4117-4117
(
format
EnglishLanguage
PlayingInstrumentFn
"playing %1")
domainEnglishFormat.kif 4116-4116
(
termFormat
EnglishLanguage
PlayingInstrumentFn
"playing instrument fn")
domainEnglishFormat.kif 65328-65328
antecedent
(=>
(
instance
?PROC
(
PlayingInstrumentFn
?INST))
(
exists
(?I)
(
and
(
instance
?I ?INST)
(
instrument
?PROC ?I))))
Music.kif 831-836
Wenn
Process
ist ein
fall
von
PlayingInstrumentFn
** Device
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
** Device
%n{nicht} und
** Object
ist ein
instrument
fuer
** Process
%n{nicht}
consequent
(=>
(
attribute
?PERSON
Cellist
)
(
hasSkill
(
PlayingInstrumentFn
Cello
) ?PERSON))
Music.kif 1414-1417
Wenn
Cellist
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
PlayingInstrumentFn
Cello
zu tun %n{nicht}
(=>
(
attribute
?PERSON
Drummer
)
(
hasSkill
(
PlayingInstrumentFn
Drum
) ?PERSON))
Music.kif 1430-1433
Wenn
Drummer
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
PlayingInstrumentFn
Drum
zu tun %n{nicht}
(=>
(
attribute
?PERSON
Guitarist
)
(
hasSkill
(
PlayingInstrumentFn
Guitar
) ?PERSON))
Music.kif 1407-1410
Wenn
Guitarist
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
PlayingInstrumentFn
Guitar
zu tun %n{nicht}
(=>
(
attribute
?PERSON
Pianist
)
(
hasSkill
(
PlayingInstrumentFn
Piano
) ?PERSON))
Music.kif 1391-1394
Wenn
Pianist
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
PlayingInstrumentFn
Piano
zu tun %n{nicht}
(=>
(
attribute
?PERSON
Saxophonist
)
(
hasSkill
(
PlayingInstrumentFn
Saxophone
) ?PERSON))
Music.kif 1422-1425
Wenn
Saxophonist
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
PlayingInstrumentFn
Saxophone
zu tun %n{nicht}
(=>
(
attribute
?PERSON
Violinist
)
(
hasSkill
(
PlayingInstrumentFn
Violin
) ?PERSON))
Music.kif 1399-1402
Wenn
Violinist
ist ein
attribut
von
AutonomousAgent
%n{nicht},
dann
** AutonomousAgent
hat die F�higkeit, zum
PlayingInstrumentFn
Violin
zu tun %n{nicht}
(=>
(
musician
?MR ?P ?R)
(
exists
(?MM ?I)
(
and
(
instance
?MM ?R)
(
or
(
equal
?R
(
PlayingInstrumentFn
?I))
(
equal
?R
MakingVocalMusic
))
(
agent
?MM ?P)
(
result
?MM ?MR))))
Music.kif 197-206
Wenn
musician
MusicRecording
,
Human
and
** MakingMusic
,
dann es gibt
Process
und
** Device
um
** Process
ist ein
fall
von
** MakingMusic
%n{nicht} und
** ** MakingMusic
ist gleich
PlayingInstrumentFn
** Device
%n{nicht} oder
** ** MakingMusic
ist gleich
MakingVocalMusic
%n{nicht} und
** Process
ist der
agent
von
** Human
%n{nicht} und
** MusicRecording
ist ein
resultat
von
** Process
%n{nicht}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without 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