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
produced
Sigma KEE - produced
produced
appearance as argument number 1
(
documentation
produced
EnglishLanguage
"(
produced
?A ?R)
Human
?A is responsible for all decision-making processes that resulted in
Recording
?R")
Mid-level-ontology.kif 20685-20686
(
domain
produced
1
Human
)
Mid-level-ontology.kif 20689-20689
Die Zahl 1 Argument von
produced
ist ein
fall
von
Human
%n{nicht}
(
domain
produced
2
Recording
)
Mid-level-ontology.kif 20690-20690
Die Zahl 2 Argument von
produced
ist ein
fall
von
Recording
%n{nicht}
(
instance
produced
BinaryPredicate
)
Mid-level-ontology.kif 20684-20684
produced
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
produced
"%2 produces %1 ")
domainEnglishFormat.kif 4226-4226
(
format
ChineseTraditionalLanguage
produced
"%2 produces %1 ")
domainEnglishFormat.kif 4225-4225
(
format
EnglishLanguage
produced
"%2 produces %1")
domainEnglishFormat.kif 4224-4224
(
termFormat
EnglishLanguage
produced
"produced")
Mid-level-ontology.kif 20687-20687
antecedent
(=>
(
and
(
produced
?P ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?P
FilmProducer
)))
Mid-level-ontology.kif 20709-20715
Wenn
produced
Human
and
Recording
und
Process
ist ein
fall
von
FilmMaking
%n{nicht} und
** Recording
ist ein
resultat
von
** Process
%n{nicht},
dann
FilmProducer
ist ein
attribut
von
** Human
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
produced
?R ?A)
(
exists
(?M ?P)
(
and
(
instance
?M
Managing
)
(
agent
?M ?A)
(
patient
?M ?P)
(
instance
?P
Process
)
(
result
?P ?R))))
Mid-level-ontology.kif 20692-20700
Wenn
produced
Human
and
AutonomousAgent
,
dann es gibt
Process
und
** Process
um
** Process
ist ein
fall
von
Managing
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist ein
patient
von
** Process
%n{nicht} und
** ** Process
ist ein
fall
von
Process
%n{nicht} und
** Human
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