Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  VariableArityRelation

 Sigma KEE - VariableArityRelation
VariableArityRelation(variable arity relation)

appearance as argument number 1
-------------------------


(subclass VariableArityRelation Relation) Merge.kif 3635-3635 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 3637-3638 Variable arity relation is a subclass of relation

appearance as argument number 2
-------------------------


(instance contraryAttribute VariableArityRelation) Merge.kif 448-448 contrary attribute is an instance of variable arity relation
(instance exhaustiveAttribute VariableArityRelation) Merge.kif 479-479 exhaustive attribute is an instance of variable arity relation
(instance exhaustiveDecomposition VariableArityRelation) Merge.kif 539-539 exhaustive decomposition is an instance of variable arity relation
(instance disjointDecomposition VariableArityRelation) Merge.kif 557-557 disjoint decomposition is an instance of variable arity relation
(instance partition VariableArityRelation) Merge.kif 573-573 partition is an instance of variable arity relation
(instance AssignmentFn VariableArityRelation) Merge.kif 777-777 Assignment is an instance of variable arity relation
(instance ListFn VariableArityRelation) Merge.kif 3043-3043 List is an instance of variable arity relation
(instance GreatestCommonDivisorFn VariableArityRelation) Merge.kif 4957-4957 Greatest common divisor is an instance of variable arity relation
(instance LeastCommonMultipleFn VariableArityRelation) Merge.kif 5043-5043 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 1921-1921 Longitude is an instance of variable arity relation
(instance processList VariableArityRelation) QoSontology.kif 782-782 process list is an instance of variable arity relation
(termFormat EnglishLanguage VariableArityRelation "variable arity relation") english_format.kif 1071-1071 process list is an instance of variable arity relation

antecedent
-------------------------


(=>
    (instance ?REL VariableArityRelation)
    (not
        (exists (?INT)
            (valence ?REL ?INT))))		 Merge.kif 3640-3644 If X is an instance of variable arity relation, then there doesn't exist Y such that X has Y argument(s)


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners