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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - closedOn
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 SetOrClass if it is defined for all instances of the SetOrClass and its value is always an instance of the SetOrClass.") Merge.kif 3332-3334
(domain closedOn 1 Function) Merge.kif 3329-3329 The number 1 argument of closed on is an instance of function
(domain closedOn 2 SetOrClass) Merge.kif 3330-3330 The number 2 argument of closed on is an instance of set or class
(instance closedOn AsymmetricRelation) Merge.kif 3328-3328 closed on is an instance of asymmetric relation
(instance closedOn BinaryPredicate) Merge.kif 3327-3327 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
(termFormat ChineseLanguage closedOn "关闭") domainEnglishFormat.kif 15121-15121 "关闭" is the printable form of closed on in ChineseLanguage
(termFormat ChineseLanguage closedOn "闭上") chinese_format.kif 74-74 "闭上" is the printable form of closed on in ChineseLanguage
(termFormat ChineseTraditionalLanguage closedOn "關閉") domainEnglishFormat.kif 15120-15120 "關閉" is the printable form of closed on in ChineseTraditionalLanguage
(termFormat EnglishLanguage closedOn "closed on") domainEnglishFormat.kif 15119-15119 "closed on" is the printable form of closed on in english language


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners