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 3539-3540
(documentation VariableArityRelation JapaneseLanguage "Relations の Class は、一定数の引数を持たない。")	japanese_format.kif 659-660
(subclass VariableArityRelation Relation)	Merge.kif 3537-3537	可変項数関係は関係の subclass では

appearance as argument number 2

(instance AssignmentFn VariableArityRelation)	Merge.kif 778-778	AssignmentFn は可変項数関係の instance では
(instance GreatestCommonDivisorFn VariableArityRelation)	Merge.kif 4873-4873	GreatestCommonDivisorFn は可変項数関係の instance では
(instance LatitudeFn VariableArityRelation)	Geography.kif 541-541	LatitudeFn は可変項数関係の instance では
(instance LeastCommonMultipleFn VariableArityRelation)	Merge.kif 4959-4959	LeastCommonMultipleFn は可変項数関係の instance では
(instance ListFn VariableArityRelation)	Merge.kif 2945-2945	ListFn は可変項数関係の instance では
(instance LongitudeFn VariableArityRelation)	Geography.kif 580-580	LongitudeFn は可変項数関係の instance では
(instance contraryAttribute VariableArityRelation)	Merge.kif 449-449	contraryAttribute は可変項数関係の instance では
(instance disjointDecomposition VariableArityRelation)	Merge.kif 558-558	disjointDecomposition は可変項数関係の instance では
(instance exhaustiveAttribute VariableArityRelation)	Merge.kif 480-480	exhaustiveAttribute は可変項数関係の instance では
(instance exhaustiveDecomposition VariableArityRelation)	Merge.kif 540-540	exhaustiveDecomposition は可変項数関係の instance では
(instance partition VariableArityRelation)	Merge.kif 574-574	partition は可変項数関係の instance では
(instance processList VariableArityRelation)	QoSontology.kif 796-796	processList は可変項数関係の instance では
(termFormat ChineseLanguage VariableArityRelation "不定次元关系")	chinese_format.kif 930-930	processList は可変項数関係の instance では
(termFormat EnglishLanguage VariableArityRelation "variable arity relation")	english_format.kif 1067-1067	processList は可変項数関係の instance では
(termFormat FrenchLanguage VariableArityRelation "relation a arit� variable")	french_format.kif 606-606	processList は可変項数関係の instance では
(termFormat Hindi VariableArityRelation "parivartaniiya sanbandha")	terms-hindi.txt 137-137	processList は可変項数関係の instance では
(termFormat ItalianLanguage VariableArityRelation "RelazioneAdArit�Variabile")	terms-it.txt 140-140	processList は可変項数関係の instance では
(termFormat JapaneseLanguage VariableArityRelation "可変項数関係")	japanese_format.kif 2291-2291	processList は可変項数関係の instance では
(termFormat PortugueseLanguage VariableArityRelation "Relacao de aridade variavel")	portuguese_format.kif 558-558	processList は可変項数関係の instance では
(termFormat cz VariableArityRelation "variable arity relation")	terms-cz.txt 174-174	processList は可変項数関係の instance では
(termFormat de VariableArityRelation "Relation mit veraenderlicher Anzahl Argumente")	terms-de.txt 433-433	processList は可変項数関係の instance では
(termFormat ro VariableArityRelation "relaþie cu aritate variabilã")	relations-ro.kif 627-627	processList は可変項数関係の instance では
(termFormat tg VariableArityRelation "kaugnayan ng ibat-ibang numero")	terms-tg.txt 141-141	processList は可変項数関係の instance では

antecedent

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

Merge.kif 3542-3546

関係は可変項数関係の instance では
正の整数関係は正の整数の argument(s) を %&has

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: