SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > ProbabilityRelation

ProbabilityRelation
subject			fact

ProbabilityRelation	documentation The Class of Relations that permit assessment of the probability of an event or situation
	is a kind of Relation
Relation	is first domain of domain
	is first domain of domainSubclass
	is first domain of holds
	is first domain of subrelation
	is first domain of valence
	is second domain of subrelation
Class	has axiom (<=> (instance ?CLASS Class) (subclass ?CLASS Entity))
	has axiom (forall (?INT) (domain disjointDecomposition ?INT Class))
	has axiom (forall (?INT) (domain exhaustiveDecomposition ?INT Class))
	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical