jing4 zheng1 shu3 xing4 (ContestAttribute)
A Class containing all of the
Attributes that are specific to participants in a Contest. Some
of these Attributes are winning, losing, won, lost, etc.
Ontology
SUMO / QUALITIESSuperclass(es)
Coordinate term(s)
ke3 neng2 xing4 shu3 xing4
ying4 ran2 shu3 xing4
Related WordNet synsets
See more related synsets on a separate page.
Axioms (1)
If attr shi4 obj de5 shu3 xing4 and attr shi4 jing4 zheng1 shu3 xing4 de5 shi2 li4, then there exists jing4 zheng1 contest so_that_not contest shi4 obj de5 shi1 shi4 zhe3 or obj shi4 contest de5 shou4 shi4 zhe3.
(=>
(and
(attribute ?OBJ ?ATTR)
(instance ?ATTR ContestAttribute))
(exists
(?CONTEST)
(and
(instance ?CONTEST Contest)
(or
(agent ?CONTEST ?OBJ)
(patient ?CONTEST ?OBJ)))))