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
O argumento numero 1 de
contestObject
e' uma
instancia
de
Contest
(
domain
contestObject
2
Object
)
Dining.kif 880-880
O argumento numero 2 de
contestObject
e' uma
instancia
de
Objeto
(
domain
contestObject
3
AutonomousAgent
)
Dining.kif 881-881
O argumento numero 3 de
contestObject
e' uma
instancia
de
AutonomousAgent
(
instance
contestObject
TernaryPredicate
)
Dining.kif 875-875
contestObject
e' uma
instancia
de
Predicado Ternario
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 65799-65799
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
Contest
,
Objeto
and
AutonomousAgent
contestParticipant
Contest
and
AutonomousAgent
Processo
AutonomousAgent
,
Processo
and
Entidade
Processo
e' uma
instancia
de
Fazer
Objeto
e' o
resultado
de
Processo
Processo
e' um
agente
de
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
subjectiveAttribute
Objeto
,
Entidade
and
AutonomousAgent
e' o
resultado
de
Processo
Processo
e' um
sub
-processo de
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
subjectiveAttribute
Objeto
,
Won
and
AutonomousAgent
Objeto
e' uma
instancia
de
FoodForFn
Humano
Contest
AutonomousAgent
and
Processo
contestObject
Contest
,
Objeto
and
AutonomousAgent
Processo
e' uma
instancia
de
Judging
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
sub
-processo de
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