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
PlayingInstrumentFn
的 1 数量 是
设备
的
subclass
(
instance
PlayingInstrumentFn
UnaryFunction
)
Music.kif 828-828
PlayingInstrumentFn
是
一元函数
的
instance
(
rangeSubclass
PlayingInstrumentFn
MakingInstrumentalMusic
)
Music.kif 829-829
PlayingInstrumentFn
的所得值 是
器乐
的
subclass
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 65330-65330
antecedent
(=>
(
instance
?PROC
(
PlayingInstrumentFn
?INST))
(
exists
(?I)
(
and
(
instance
?I ?INST)
(
instrument
?PROC ?I))))
Music.kif 831-836
如果
过程
是
playing
有点 设备
的
instance
,
然后 有存在
客体
这样
那个 客体
是
有点 设备
的
instance
和
那个 客体
是导致
那个 过程
的
instrument
consequent
(=>
(
attribute
?PERSON
Cellist
)
(
hasSkill
(
PlayingInstrumentFn
Cello
) ?PERSON))
Music.kif 1414-1417
如果
Cellist
是
施事体
的
attribute
,
然后
那个 施事体
hasSkill
去做
playing
Cello
(=>
(
attribute
?PERSON
Drummer
)
(
hasSkill
(
PlayingInstrumentFn
Drum
) ?PERSON))
Music.kif 1430-1433
如果
Drummer
是
施事体
的
attribute
,
然后
那个 施事体
hasSkill
去做
playing
鼓
(=>
(
attribute
?PERSON
Guitarist
)
(
hasSkill
(
PlayingInstrumentFn
Guitar
) ?PERSON))
Music.kif 1407-1410
如果
Guitarist
是
施事体
的
attribute
,
然后
那个 施事体
hasSkill
去做
playing
吉他
(=>
(
attribute
?PERSON
Pianist
)
(
hasSkill
(
PlayingInstrumentFn
Piano
) ?PERSON))
Music.kif 1391-1394
如果
Pianist
是
施事体
的
attribute
,
然后
那个 施事体
hasSkill
去做
playing
钢琴
(=>
(
attribute
?PERSON
Saxophonist
)
(
hasSkill
(
PlayingInstrumentFn
Saxophone
) ?PERSON))
Music.kif 1422-1425
如果
Saxophonist
是
施事体
的
attribute
,
然后
那个 施事体
hasSkill
去做
playing
Saxophone
(=>
(
attribute
?PERSON
Violinist
)
(
hasSkill
(
PlayingInstrumentFn
Violin
) ?PERSON))
Music.kif 1399-1402
如果
Violinist
是
施事体
的
attribute
,
然后
那个 施事体
hasSkill
去做
playing
小提琴
(=>
(
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
如果
人类
表演了
音乐录音
,
然后 有存在
过程
和
有点 设备
这样
那个 过程
是
有点 制作音乐
的
instance
和
有点 制作音乐
equal
playing
有点 设备
或
那个 有点 制作音乐
equal
唱歌
和
那个 人类
是
那个 过程
的
agent
和
那个 音乐录音
是
那个 过程
的
result
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