closedOn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation closedOn ChineseLanguage "一个 BinaryFunction 在一个 SetOrClass 是封闭的如果它在这个 SetOrClass 所有的实例已经定义了，而且它的值永远是这个 SetOrClass 的一个实例。")	chinese_format.kif 2039-2040
(documentation closedOn EnglishLanguage "A BinaryFunction is closed on a Class if it is defined for all instances of the Class and its value is always an instance of the Class.")	Merge.kif 3578-3580
(documentation closedOn JapaneseLanguage "BinaryFunction は、SetOrClass のすべてのインスタンスに対して定義され、その値が常に SetOrClass のインスタンスである場合、SetOrClass で閉じられる。")	japanese_format.kif 683-685
(domain closedOn 1 Function)	Merge.kif 3575-3575	The number 1 argument of closed on is an instance of function
(domain closedOn 2 Class)	Merge.kif 3576-3576	The number 2 argument of closed on is an instance of class
(instance closedOn AsymmetricRelation)	Merge.kif 3574-3574	closed on is an instance of asymmetric relation
(instance closedOn BinaryPredicate)	Merge.kif 3573-3573	closed on is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage closedOn "%1 %n 是 %2 的 closedOn")	chinese_format.kif 73-73
(format EnglishLanguage closedOn "%1 is %n closed on %2")	english_format.kif 73-73
(format FrenchLanguage closedOn "%1 est %n li� %2")	french_format.kif 61-61
(format ItalianLanguage closedOn "%1 è %n chiuso su %2")	relations-it.txt 45-45
(format JapaneseLanguage closedOn "%1 は %2 を closed %n")	japanese_format.kif 1885-1885
(format PortugueseLanguage closedOn "%1 esta' %n fechado no %2")	portuguese_format.kif 13-13
(format cz closedOn "%1 %p{je} %n{nen�} closed on %2")	relations-cz.txt 106-106
(format de closedOn "%1 ist mit %2 %n{nicht} aufgeschlossen")	relations-de.txt 80-80
(format hi closedOn "%1 %2 para sambritta %n hai")	relations-hindi.txt 87-87
(format ro closedOn "%1 %n{nu} este closed%t{închisã} pe %2")	relations-ro.kif 80-80
(format sv closedOn "%1 är %n{inte} sluten över %2")	relations-sv.txt 60-60
(format tg closedOn "%1 %n ay nakapinid sa %2")	relations-cb.txt 79-79
(termFormat ChineseLanguage closedOn "关闭")	domainEnglishFormat.kif 15196-15196
(termFormat ChineseLanguage closedOn "闭上")	chinese_format.kif 74-74
(termFormat ChineseTraditionalLanguage closedOn "關閉")	domainEnglishFormat.kif 15195-15195
(termFormat EnglishLanguage closedOn "closed on")	domainEnglishFormat.kif 15194-15194
(termFormat de closedOn "aufgeschlossen")	terms-de.txt 21-21
(termFormat tg closedOn "nakapinid sa")	relations-tg.txt 107-107