TreeView 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 3511-3513
(domain closedOn 1 Function)	Merge.kif 3508-3508	闭上的 1 数量是函数的 instance
(domain closedOn 2 Class)	Merge.kif 3509-3509	闭上的 2 数量是类的 instance
(instance closedOn AsymmetricRelation)	Merge.kif 3507-3507	闭上是非对称关系的 instance
(instance closedOn BinaryPredicate)	Merge.kif 3506-3506	闭上是二元谓语的 instance

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
(termFormat ChineseLanguage closedOn "关闭")	domainEnglishFormat.kif 15183-15183
(termFormat ChineseLanguage closedOn "闭上")	chinese_format.kif 74-74
(termFormat ChineseTraditionalLanguage closedOn "關閉")	domainEnglishFormat.kif 15182-15182
(termFormat EnglishLanguage closedOn "closed on")	domainEnglishFormat.kif 15181-15181