| 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 3458-3460 | |
| (domain closedOn 1 Function) | Merge.kif 3455-3455 | |
| (domain closedOn 2 SetOrClass) | Merge.kif 3456-3456 | |
| (instance closedOn AsymmetricRelation) | Merge.kif 3454-3454 | |
| (instance closedOn BinaryPredicate) | Merge.kif 3453-3453 |
| 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 15124-15124 | |
| (termFormat ChineseLanguage closedOn "闭上") | chinese_format.kif 74-74 | |
| (termFormat ChineseTraditionalLanguage closedOn "關閉") | domainEnglishFormat.kif 15123-15123 | |
| (termFormat EnglishLanguage closedOn "closed on") | domainEnglishFormat.kif 15122-15122 |
|
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