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
contestObject
の数値 1 引数は
コンテスト
の
instance
では %n
(
domain
contestObject
2
Object
)
Dining.kif 880-880
contestObject
の数値 2 引数は
オブジェクト
の
instance
では %n
(
domain
contestObject
3
AutonomousAgent
)
Dining.kif 881-881
contestObject
の数値 3 引数は
AutonomousAgent
の
instance
では %n
(
instance
contestObject
TernaryPredicate
)
Dining.kif 875-875
contestObject
は
3進述語
の
instance
では %n
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
コンテスト
,
オブジェクト
and
AutonomousAgent
contestParticipant
コンテスト
and
AutonomousAgent
工程
AutonomousAgent
,
工程
and
エンティティー
工程
は
作る
の
instance
では %n
オブジェクト
は
工程
の
result
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
Judging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
subjectiveAttribute
オブジェクト
,
エンティティー
and
AutonomousAgent
は
工程
の
result
では %n
工程
は
コンテスト
% の
subprocess
では %n
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
オブジェクト
,
Won
and
AutonomousAgent
オブジェクト
は
FoodForFn
人[人間]
の
instance
では %n
コンテスト
AutonomousAgent
and
工程
contestObject
コンテスト
,
オブジェクト
and
AutonomousAgent
工程
は
Judging
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
コンテスト
% の
subprocess
では %n
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