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
MusicalComponentFn
Sigma KEE - MusicalComponentFn
MusicalComponentFn
appearance as argument number 1
(
documentation
MusicalComponentFn
EnglishLanguage
"The function (
MusicalComponentFn
?S) returns the instance of the
MusicalComposition
component of the
Song
?S")
Music.kif 901-902
(
domain
MusicalComponentFn
1
Song
)
Music.kif 905-905
Die Zahl 1 Argument von
MusicalComponentFn
ist ein
fall
von
Song
%n{nicht}
(
instance
MusicalComponentFn
UnaryFunction
)
Music.kif 900-900
MusicalComponentFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
range
MusicalComponentFn
MusicalComposition
)
Music.kif 906-906
bildbereich
von
MusicalComponentFn
ist ein fall von
MusicalComposition
{nicht}
appearance as argument number 2
(
format
ChineseLanguage
MusicalComponentFn
"%1 的 music ")
domainEnglishFormat.kif 3914-3914
(
format
ChineseTraditionalLanguage
MusicalComponentFn
"%1 的 music ")
domainEnglishFormat.kif 3913-3913
(
format
EnglishLanguage
MusicalComponentFn
"the music of %1")
domainEnglishFormat.kif 3912-3912
(
termFormat
EnglishLanguage
MusicalComponentFn
"musical composition function")
Music.kif 903-903
antecedent
(=>
(
equal
?M
(
MusicalComponentFn
?S))
(
subProposition
?M ?S))
Music.kif 908-910
Wenn
MusicalComposition
ist gleich
MusicalComponentFn
Song
%n{nicht},
dann
** MusicalComposition
ist eine
teilangelegenheit
von
** Song
%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