| appearance as argument number 1 |
|
| (documentation range ChineseLanguage "它为函数提供一个范围。就是说，(range ?FUNCTION ?CLASS) 的意思是，所有由 ?FUNCTION 所指定的值，都是这个 ?CLASS 的 instance。") | chinese_format.kif 1490-1491 | |
| (documentation range EnglishLanguage "Gives the range of a function. In other words, (range ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are instances of ?CLASS.") | Merge.kif 302-304 | |
| (documentation range JapaneseLanguage "関数の範囲を提供。 言い換えれば、(range ?FUNCTION ?CLASS) とは、?FUNCTIONによって割り当てられたすべての値は?CLASSの instances である、という 意味である。") | japanese_format.kif 50-52 | |
| (documentation range SpanishLanguage "Da el rango de una función. En otras palabras, (range ?FUNCTION ?CLASS) significa que todos los valores asignados por ?FUNCTION son instances de ?CLASS.") | spanish_format.kif 55-57 | |
| (domain range 1 Function) | Merge.kif 300-300 | 范围 的 1 数量 是 函数 的 instance |
| (domain range 2 Class) | Merge.kif 301-301 | 范围 的 2 数量 是 类 的 instance |
| (instance range AsymmetricRelation) | Merge.kif 299-299 | 范围 是 非对称关系 的 instance |
| (instance range BinaryPredicate) | Merge.kif 298-298 | 范围 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage range "%1 的 range %n 是 %2 的实例") | chinese_format.kif 313-313 | |
| (format EnglishLanguage range "the range of %1 is %n an instance of %2") | english_format.kif 318-318 | |
| (format FrenchLanguage range "le domaine de %1 est %n une instance de %2") | french_format.kif 179-179 | |
| (format ItalianLanguage range "rango di %1 è %n un'istanza di %2") | relations-it.txt 238-238 | |
| (format JapaneseLanguage range "%1 の range は %2 のインスタンス では %n") | japanese_format.kif 1999-1999 | |
| (format PortugueseLanguage range "o contra-dominio de %1 e' %n uma instancia de %2") | portuguese_format.kif 131-131 | |
| (format cz range "range of %1 %p{je} %n{nen�} an instance of %2") | relations-cz.txt 180-180 | |
| (format de range "bildbereich von %1 ist ein fall von %2 {nicht}") | relations-de.txt 410-410 | |
| (format hi range "%1 kaa parisara %2 kaa drishhTaanta %n hai") | relations-hindi.txt 276-276 | |
| (format ro range "range%t{codomeniul} lui %1 %n{nu} este o instanþã a lui %2") | relations-ro.kif 199-199 | |
| (format sv range "värdemängden för %1 är %n{inte} en instans av %2") | relations-sv.txt 189-189 | |
| (format tg range "ang reynds ng %1 %n ay ang kasapi ng %2") | relations-tg.txt 430-430 | |
| (termFormat ChineseLanguage range "范围") | chinese_format.kif 314-314 | |
| (termFormat ChineseTraditionalLanguage range "範圍") | domainEnglishFormat.kif 48790-48790 | |
| (termFormat EnglishLanguage range "range") | domainEnglishFormat.kif 48789-48789 |
| antecedent |
|
|
| (=> (and (instance ?SEQ SequenceFunction) (range ?SEQ ?CLASS)) (subclass ?CLASS Integer)) |
Merge.kif 3387-3391 | |
| (=> (and (range ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (instance ?VALUE ?CLASS)) |
Merge.kif 306-310 | |
| (=> (and (range ?REL ?CLASS1) (range ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 318-324 | |
| (=> (and (range ?REL1 ?CLASS1) (range ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 426-431 | |
| (=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1)) |
Merge.kif 312-316 |
| consequent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (range ?REL2 ?CLASS1)) (range ?REL1 ?CLASS1)) |
Merge.kif 312-316 |
| appearance as argument number 0 |
|
|
|
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