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
contestObject
Sigma KEE - contestObject
contestObject
appearance as argument number 1
(
documentation
contestObject
EnglishLanguage
"(
contestObject
?CONTEST ?OBJ ?AGENT) refers to the ?OBJ entered by ?AGENT in a ?CONTEST in cases where winning is based on judging an
Object
instead of some physical process between opponents")
Dining.kif 876-878
(
domain
contestObject
1
Contest
)
Dining.kif 879-879
Die Zahl 1 Argument von
contestObject
ist ein
fall
von
Contest
%n{nicht}
(
domain
contestObject
2
Object
)
Dining.kif 880-880
Die Zahl 2 Argument von
contestObject
ist ein
fall
von
Object
%n{nicht}
(
domain
contestObject
3
AutonomousAgent
)
Dining.kif 881-881
Die Zahl 3 Argument von
contestObject
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
contestObject
TernaryPredicate
)
Dining.kif 875-875
contestObject
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
contestObject
"%3 entered %2 在 %1 ")
domainEnglishFormat.kif 3090-3090
(
format
ChineseTraditionalLanguage
contestObject
"%3 entered %2 在 %1 ")
domainEnglishFormat.kif 3089-3089
(
format
EnglishLanguage
contestObject
"%3 entered %2 in %1")
domainEnglishFormat.kif 3088-3088
(
termFormat
EnglishLanguage
contestObject
"contest object")
domainEnglishFormat.kif 65797-65797
antecedent
(=>
(
contestObject
?CONTEST ?OBJ ?AGENT)
(
and
(
contestParticipant
?CONTEST ?AGENT)
(
exists
(?MAKE ?JUDGE ?PROC ?AFTR)
(
and
(
instance
?MAKE
Making
)
(
result
?MAKE ?OBJ)
(
agent
?MAKE ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
patient
?PROC ?OBJ)
(
result
?PROC
(
subjectiveAttribute
?OBJ ?AFTR ?JUDGE))
(
subProcess
?PROC ?CONTEST)))))
Dining.kif 883-896
Wenn
contestObject
Contest
,
Object
and
AutonomousAgent
,
dann
contestParticipant
** Contest
and
** AutonomousAgent
und es gibt
Process
,
** AutonomousAgent
,, ,
** Process
, and und
entity
um
** Process
ist ein
fall
von
Making
%n{nicht} und
** Object
ist ein
resultat
von
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** ** Process
ist ein
fall
von
Judging
%n{nicht} und
** ** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** ** Process
%n{nicht} und
subjectiveAttribute
** Object
,
** entity
and
** ** AutonomousAgent
ist ein
resultat
von
** ** Process
%n{nicht} und
** ** Process
ist ein
subProzess
von
** Contest
consequent
(=>
(
and
(
subjectiveAttribute
?X
Won
?JUDGE)
(
instance
?X
(
FoodForFn
Human
)))
(
exists
(?CONTEST ?AGENT ?PROC)
(
and
(
contestObject
?CONTEST ?X ?AGENT)
(
instance
?PROC
Judging
)
(
agent
?PROC ?JUDGE)
(
subProcess
?PROC ?CONTEST))))
Dining.kif 900-909
Wenn
subjectiveAttribute
Object
,
Won
and
AutonomousAgent
und
** Object
ist ein
fall
von
FoodForFn
Human
%n{nicht},
dann es gibt
Contest
,
** AutonomousAgent
, and und
Process
um
contestObject
** Contest
,
** Object
and
** ** AutonomousAgent
und
** Process
ist ein
fall
von
Judging
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Process
ist ein
subProzess
von
** Contest
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