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
Le nombre 1 argument de
contestObject
est une
instance
de
affrontement
(
domain
contestObject
2
Object
)
Dining.kif 880-880
Le nombre 2 argument de
contestObject
est une
instance
de
objet
(
domain
contestObject
3
AutonomousAgent
)
Dining.kif 881-881
Le nombre 3 argument de
contestObject
est une
instance
de
AutonomousAgent
(
instance
contestObject
TernaryPredicate
)
Dining.kif 875-875
contestObject
est une
instance
de
pr�dicat ternaire
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
contestObject
affrontement
,
objet
and
AutonomousAgent
contestParticipant
affrontement
and
AutonomousAgent
processus
AutonomousAgent
,
processus
and
entit�
processus
est une
instance
de
faire
objet
est le
resultat
de
processus
processus
est un
agent
de
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
subjectiveAttribute
objet
,
entit�
and
AutonomousAgent
est le
resultat
de
processus
processus
est un
sous
-processus de
affrontement
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
subjectiveAttribute
objet
,
Won
and
AutonomousAgent
objet
est une
instance
de
FoodForFn
humain
affrontement
AutonomousAgent
and
processus
contestObject
affrontement
,
objet
and
AutonomousAgent
processus
est une
instance
de
Judging
processus
est un
agent
de
AutonomousAgent
processus
est un
sous
-processus de
affrontement
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