| 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 3463-3465 | |
| (domain closedOn 1 Function) | Merge.kif 3460-3460 | |
| (domain closedOn 2 Class) | Merge.kif 3461-3461 | |
| (instance closedOn AsymmetricRelation) | Merge.kif 3459-3459 | |
| (instance closedOn BinaryPredicate) | Merge.kif 3458-3458 |
| 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 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