SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > domain

domain comparison table

Subject	have domain3	have domain2	have domain1	documentation	have axiom	is a kind of	is an instance of
TernaryPredicate				The Class of Predicates that require exactly three arguments	(=> (instance ?REL TernaryPredicate) (valence ?REL 3))	TernaryRelation
domain	Class	PositiveInteger	Relation	Provides a computationally and heuristically convenient mechanism for declaring the argument types of a given relation. The formula (domain ?REL 3 ?CLASS) says that the 3rd element of each tuple in the relation ?REL is an instance of ?CLASS. Specifying argument types is very helpful in maintaining ontologies. Representation systems can use these specifications to classify terms and check integrity constraints. If the restriction on the argument type of a Relation is not captured by a Class already defined in the ontology, one can specify a Class compositionally with the functions UnionFn, IntersectionFn, etc	(forall (?INT) (domain exhaustiveDecomposition ?INT Class))		TernaryPredicate

Next TernaryPredicate: domainSubclass    Up: TernaryPredicate    Previous TernaryPredicate: distance