VariableArityRelation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass VariableArityRelation Relation)	Merge.kif 3561-3561	Variable arity relation is a subclass of relation
(documentation VariableArityRelation EnglishLanguage "The Class of Relations that do not have a fixed number of arguments.")	Merge.kif 3563-3564	Variable arity relation is a subclass of relation

appearance as argument number 2

(instance contraryAttribute VariableArityRelation)	Merge.kif 449-449	contrary attribute is an instance of variable arity relation
(instance exhaustiveAttribute VariableArityRelation)	Merge.kif 480-480	exhaustive attribute is an instance of variable arity relation
(instance exhaustiveDecomposition VariableArityRelation)	Merge.kif 540-540	exhaustive decomposition is an instance of variable arity relation
(instance disjointDecomposition VariableArityRelation)	Merge.kif 558-558	disjoint decomposition is an instance of variable arity relation
(instance partition VariableArityRelation)	Merge.kif 574-574	partition is an instance of variable arity relation
(instance AssignmentFn VariableArityRelation)	Merge.kif 778-778	Assignment is an instance of variable arity relation
(instance ListFn VariableArityRelation)	Merge.kif 2969-2969	List is an instance of variable arity relation
(instance GreatestCommonDivisorFn VariableArityRelation)	Merge.kif 4897-4897	Greatest common divisor is an instance of variable arity relation
(instance LeastCommonMultipleFn VariableArityRelation)	Merge.kif 4983-4983	Least common multiple is an instance of variable arity relation
(instance LatitudeFn VariableArityRelation)	Geography.kif 1884-1884	Latitude is an instance of variable arity relation
(instance LongitudeFn VariableArityRelation)	Geography.kif 1923-1923	Longitude is an instance of variable arity relation
(instance processList VariableArityRelation)	QoSontology.kif 791-791	process list is an instance of variable arity relation
(termFormat EnglishLanguage VariableArityRelation "variable arity relation")	english_format.kif 1067-1067	process list is an instance of variable arity relation

antecedent

(=>
    (instance ?REL VariableArityRelation)
    (not
        (exists (?INT)
            (valence ?REL ?INT))))

Merge.kif 3566-3570

If X is an instance of variable arity relation, then there doesn't exist Y such that X has Y argument(s)

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: