SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > CompetitionProperty

CompetitionProperty
subject			fact

CompetitionProperty	documentation A Class containing all of the Attributes that are specific to participants in a Competition. Some of these Attributes are winning, losing, won, lost, struggling, etc
	is a kind of Attribute
Attribute	is disjoint from Quantity
	is first domain of contraryProperty
	is first domain of ExtensionFn
	is first domain of subAttribute
	is first domain of successorAttribute
	is first domain of successorAttributeClosure
	is second domain of attribute
	is second domain of contraryProperty
	is second domain of manner
	is second domain of property
	is second domain of subAttribute
	is second domain of successorAttribute
	is second domain of successorAttributeClosure
Abstract	has axiom (<=> (instance ?ABS Abstract) (not (exists (?POINT) (or (located ?ABS ?POINT) (existant ?ABS ?POINT)))))

Next Attribute: DirectionAttribute    Up: Attribute    Previous Attribute: ColorProperty