| appearance as argument number 1 |
|
| (documentation rangeSubclass ChineseLanguage "(rangeSubclass ?FUNCTION ?CLASS) 的意思是 所有由 ?FUNCTION 所指定的值，都是这个 ?CLASS 的 subclass。") | chinese_format.kif 1492-1493 | |
| (documentation rangeSubclass EnglishLanguage "(rangeSubclass ?FUNCTION ?CLASS) means that all of the values assigned by ?FUNCTION are subclasses of ?CLASS.") | Merge.kif 329-330 | |
| (documentation rangeSubclass JapaneseLanguage "(rangeSubclass ?FUNCTION ?CLASS) とは、 FUNCTIONによって割り当てられた値はすべて、?CLASSの subclass である、という意味である。") | japanese_format.kif 53-54 | |
| (documentation rangeSubclass SpanishLanguage "(rangeSubclass ?FUNCTION ?CLASS) significa que todos los valores asignados por ?FUNCTION son subclasses de ?CLASS.") | spanish_format.kif 58-59 | |
| (domain rangeSubclass 1 Function) | Merge.kif 327-327 | rangeSubclass の数値 1 引数は 関数 の instance では |
| (domainSubclass rangeSubclass 2 Class) | Merge.kif 328-328 | rangeSubclass の数値 2 引数は クラス のsubclass では |
| (instance rangeSubclass BinaryPredicate) | Merge.kif 326-326 | rangeSubclass は 2進述語 の instance では |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage rangeSubclass "%1 的所得值 %n 是 %2 的 subclass") | chinese_format.kif 329-329 | |
| (format EnglishLanguage rangeSubclass "the values returned by %1 are %n subclasses of %2") | english_format.kif 334-334 | |
| (format FrenchLanguage rangeSubclass "les valeurs retourn�es par %1 sont des %n sous-classes de %2") | french_format.kif 187-187 | |
| (format ItalianLanguage rangeSubclass "i valori resi da %1 sono sottoclassi di%2") | relations-it.txt 240-240 | |
| (format JapaneseLanguage rangeSubclass "%1 が返す値は %2 の subclasses では %n") | japanese_format.kif 2007-2007 | |
| (format PortugueseLanguage rangeSubclass "os valores retornados por %1 sao as %n sub-classes de %2") | portuguese_format.kif 139-139 | |
| (format de rangeSubclass "die werte die %1 zurueckgibt sind teilkategorien von %2") | relations-de.txt 433-433 | |
| (format hi rangeSubclass "%1 dvaaraa pratyaanayita maana %2 kaa upavarga hai") | relations-hindi.txt 278-278 | |
| (format ro rangeSubclass "valorile returnate de %1 %n{nu} sunt subclasses%t{subclase} ale lui %2") | relations-ro.kif 207-207 | |
| (format sv rangeSubclass "värdena som returneras av %1 är %n{inte} subklasser till %2") | relations-sv.txt 198-198 | |
| (format tg rangeSubclass "ang mga kabuluhan bumabalik ng %1 ay ang mga klase ng mababa %2") | relations-tg.txt 432-432 | |
| (termFormat ChineseLanguage rangeSubclass "子类别的范围") | chinese_format.kif 330-330 | |
| (termFormat ChineseLanguage rangeSubclass "范围子类") | domainEnglishFormat.kif 48768-48768 | |
| (termFormat ChineseTraditionalLanguage rangeSubclass "範圍子類") | domainEnglishFormat.kif 48767-48767 | |
| (termFormat EnglishLanguage rangeSubclass "range subclass") | domainEnglishFormat.kif 48766-48766 | |
| (termFormat de rangeSubclass "bildbereichTeilkategorie") | terms-de.txt 138-138 |
| antecedent |
|
|
| (=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS)) |
Merge.kif 332-336 | |
| (=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 344-350 | |
| (=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 433-438 | |
| (=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 338-342 |
|
| consequent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 338-342 |
|
| 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