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
Il numero 1 argomenti di
contestObject
è un
istanza
di
Competizione
(
domain
contestObject
2
Object
)
Dining.kif 880-880
Il numero 2 argomenti di
contestObject
è un
istanza
di
Oggetto
(
domain
contestObject
3
AutonomousAgent
)
Dining.kif 881-881
Il numero 3 argomenti di
contestObject
è un
istanza
di
AutonomousAgent
(
instance
contestObject
TernaryPredicate
)
Dining.kif 875-875
contestObject
è un'
istanza
di
PredicatoTernario
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
Competizione
,
Oggetto
and
AutonomousAgent
contestParticipant
Competizione
and
AutonomousAgent
Processo
AutonomousAgent
,
Processo
and
Entit�
Processo
è un'
istanza
di
Fabbricazione
Oggetto
è un
risultato
di
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
subjectiveAttribute
Oggetto
,
Entit�
and
AutonomousAgent
è un
risultato
di
Processo
Processo
è un
sottoprocesso
di
Competizione
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
Oggetto
,
Won
and
AutonomousAgent
Oggetto
è un'
istanza
di
FoodForFn
Umano
Competizione
AutonomousAgent
and
Processo
contestObject
Competizione
,
Oggetto
and
AutonomousAgent
Processo
è un'
istanza
di
Judging
Processo
è un
agente
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Competizione
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