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
directed
Sigma KEE - directed
directed
appearance as argument number 1
(
documentation
directed
EnglishLanguage
"(directed ?DIRECTOR ?MOVIE) means that the
Human
?DIRECTOR was in charge of the
FilmMaking
Process
that produced the
MotionPicture
?MOVIE")
Mid-level-ontology.kif 20721-20722
(
domain
directed
1
Human
)
Mid-level-ontology.kif 20719-20719
Die Zahl 1 Argument von
directed
ist ein
fall
von
Human
%n{nicht}
(
domain
directed
2
MotionPicture
)
Mid-level-ontology.kif 20720-20720
Die Zahl 2 Argument von
directed
ist ein
fall
von
MotionPicture
%n{nicht}
(
instance
directed
BinaryPredicate
)
Mid-level-ontology.kif 20718-20718
directed
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
directed
"%1
directed
%2 ")
domainEnglishFormat.kif 3250-3250
(
format
ChineseTraditionalLanguage
directed
"%1
directed
%2 ")
domainEnglishFormat.kif 3249-3249
(
format
EnglishLanguage
directed
"%1
directed
%2")
domainEnglishFormat.kif 3248-3248
(
termFormat
ChineseLanguage
directed
"针对")
domainEnglishFormat.kif 19668-19668
(
termFormat
ChineseTraditionalLanguage
directed
"針對")
domainEnglishFormat.kif 19667-19667
(
termFormat
EnglishLanguage
directed
"directed")
domainEnglishFormat.kif 19666-19666
antecedent
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20734-20743
Wenn
directed
Human
and
MotionPicture
und
Process
ist ein
fall
von
FilmMaking
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
leader
** AutonomousAgent
and
** Human
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** MotionPicture
ist ein
resultat
von
** Process
%n{nicht},
dann
FilmDirector
ist ein
attribut
von
** Human
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
directed
?DIRECTOR ?MOVIE)
(
exists
(?FILMMAKING ?FILMCREW)
(
and
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))))
Mid-level-ontology.kif 20724-20732
Wenn
directed
Human
and
MotionPicture
,
dann es gibt
Process
und
AutonomousAgent
um
** Process
ist ein
fall
von
FilmMaking
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
Organization
%n{nicht} und
leader
** AutonomousAgent
and
** Human
und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** MotionPicture
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