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 20720-20721
(
domain
directed
1
Human
)
Mid-level-ontology.kif 20718-20718
(
domain
directed
2
MotionPicture
)
Mid-level-ontology.kif 20719-20719
(
instance
directed
BinaryPredicate
)
Mid-level-ontology.kif 20717-20717
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 20733-20742
(=>
(
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 20723-20731
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