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 - Choreographing
Choreographing
(choreographing)
choreograph
appearance as argument number 1
(
documentation
Choreographing
EnglishLanguage
"
Planning
that results in a sequence of dance steps that are executed as part of a
Performance
.")
Mid-level-ontology.kif 16972-16973
(
subclass
Choreographing
Planning
)
Mid-level-ontology.kif 16971-16971
Choreographing
is a
subclass
of
planning
appearance as argument number 2
(
termFormat
ChineseLanguage
Choreographing
"编排")
domainEnglishFormat.kif 14715-14715
(
termFormat
ChineseTraditionalLanguage
Choreographing
"編排")
domainEnglishFormat.kif 14714-14714
(
termFormat
EnglishLanguage
Choreographing
"choreographing")
domainEnglishFormat.kif 14713-14713
antecedent
(=>
(
and
(
instance
?G
Choreographing
)
(
result
?G ?P)
(
realization
?D ?P))
(
instance
?D
Dancing
))
Mid-level-ontology.kif 16975-16980
If
a process
is an
instance
of
choreographing
and
a proposition
is a
result
of
the process
and
another process
express
es the content of
the proposition
,
then
the other process
is an
instance
of
dancing
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
