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 3519-3520
(documentation VariableArityRelation JapaneseLanguage "Relations の Class は、一定数の引数を持たない。")	japanese_format.kif 659-660
(subclass VariableArityRelation Relation)	Merge.kif 3517-3517	Variable arity relation is a subclass of relation

appearance as argument number 2

(instance AssignmentFn VariableArityRelation)	Merge.kif 778-778	Assignment is an instance of variable arity relation
(instance GreatestCommonDivisorFn VariableArityRelation)	Merge.kif 4839-4839	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 4925-4925	Least common multiple is an instance of variable arity relation
(instance ListFn VariableArityRelation)	Merge.kif 2927-2927	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 449-449	contrary attribute is an instance of variable arity relation
(instance disjointDecomposition VariableArityRelation)	Merge.kif 558-558	disjoint decomposition 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 partition VariableArityRelation)	Merge.kif 574-574	partition is an instance of variable arity relation
(instance processList VariableArityRelation)	QoSontology.kif 793-793	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 de VariableArityRelation "Relation mit veraenderlicher Anzahl Argumente")	terms-de.txt 433-433	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 3522-3526

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: