Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - closedOn

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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