VariableArityRelation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation VariableArityRelation ChineseLanguage "这是个没有固定数量参数的 Relation Class。")	chinese_format.kif 2019-2020
(documentation VariableArityRelation EnglishLanguage "The Class of Relations that do not have a fixed number of arguments.")	Merge.kif 3525-3526
(documentation VariableArityRelation JapaneseLanguage "Relations の Class は、一定数の引数を持たない。")	japanese_format.kif 659-660
(subclass VariableArityRelation Relation)	Merge.kif 3523-3523	Variable arity relation is a subclass of relation

appearance as argument number 2

(instance AssignmentFn VariableArityRelation)	Merge.kif 785-785	Assignment is an instance of variable arity relation
(instance GreatestCommonDivisorFn VariableArityRelation)	Merge.kif 4846-4846	Greatest common divisor is an instance of variable arity relation
(instance LatitudeFn VariableArityRelation)	Geography.kif 404-404	Latitude is an instance of variable arity relation
(instance LeastCommonMultipleFn VariableArityRelation)	Merge.kif 4932-4932	Least common multiple is an instance of variable arity relation
(instance ListFn VariableArityRelation)	Merge.kif 2933-2933	List is an instance of variable arity relation
(instance LongitudeFn VariableArityRelation)	Geography.kif 443-443	Longitude is an instance of variable arity relation
(instance contraryAttribute VariableArityRelation)	Merge.kif 456-456	contrary attribute is an instance of variable arity relation
(instance disjointDecomposition VariableArityRelation)	Merge.kif 565-565	disjoint decomposition is an instance of variable arity relation
(instance exhaustiveAttribute VariableArityRelation)	Merge.kif 487-487	exhaustive attribute is an instance of variable arity relation
(instance exhaustiveDecomposition VariableArityRelation)	Merge.kif 547-547	exhaustive decomposition is an instance of variable arity relation
(instance partition VariableArityRelation)	Merge.kif 581-581	partition is an instance of variable arity relation
(instance processList VariableArityRelation)	QoSontology.kif 687-687	process list is an instance of variable arity relation
(termFormat ChineseLanguage VariableArityRelation "不定次元关系")	chinese_format.kif 930-930	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
(termFormat FrenchLanguage VariableArityRelation "relation a arit� variable")	french_format.kif 606-606	process list is an instance of variable arity relation
(termFormat Hindi VariableArityRelation "parivartaniiya sanbandha")	terms-hindi.txt 137-137	process list is an instance of variable arity relation
(termFormat ItalianLanguage VariableArityRelation "RelazioneAdArit�Variabile")	terms-it.txt 140-140	process list is an instance of variable arity relation
(termFormat JapaneseLanguage VariableArityRelation "可変項数関係")	japanese_format.kif 2291-2291	process list is an instance of variable arity relation
(termFormat PortugueseLanguage VariableArityRelation "Relacao de aridade variavel")	portuguese_format.kif 558-558	process list is an instance of variable arity relation
(termFormat cz VariableArityRelation "variable arity relation")	terms-cz.txt 174-174	process list is an instance of variable arity relation
(termFormat ro VariableArityRelation "relaþie cu aritate variabilã")	relations-ro.kif 627-627	process list is an instance of variable arity relation
(termFormat tg VariableArityRelation "kaugnayan ng ibat-ibang numero")	terms-tg.txt 141-141	process list is an instance of variable arity relation

antecedent

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

Merge.kif 3528-3532

If a relation is an instance of variable arity relation,
then there doesn't exist a positive integer such that the relation has the positive integer 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: