| 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 336-337 | |
| (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 334-334 | Le nombre 1 argument de rangeSubclass est une instance de function |
| (domainSubclass rangeSubclass 2 Class) | Merge.kif 335-335 | Le nombre 2 argument de rangeSubclass est une sous-classe de classe |
| (instance rangeSubclass AsymmetricRelation) | Merge.kif 333-333 | rangeSubclass est une instance de relation asym�trique |
| (instance rangeSubclass BinaryPredicate) | Merge.kif 332-332 | rangeSubclass est une instance de pr�dicat binaire |
| 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 48764-48764 | |
| (termFormat ChineseTraditionalLanguage rangeSubclass "範圍子類") | domainEnglishFormat.kif 48763-48763 | |
| (termFormat EnglishLanguage rangeSubclass "range subclass") | domainEnglishFormat.kif 48762-48762 |
| antecedent |
|
|
| (=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS)) |
Merge.kif 339-343 | |
| (=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1))) |
Merge.kif 351-357 | |
| (=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2)) |
Merge.kif 440-445 | |
| (=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 345-349 |
| consequent |
|
|
| (=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1)) |
Merge.kif 345-349 |
| appearance as argument number 0 |
|
|
| (rangeSubclass AgentOfOrganismFn BiologicalAgent) | WMD.kif 88-88 | Les valeurs retourn�es par AgentOfOrganismFn sont des sous-classes de BiologicalAgent |
| (rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 932-932 | Les valeurs retourn�es par AlbumCopiesFn sont des sous-classes de DataStorageDevice |
| (rangeSubclass AttrFn Object) | Merge.kif 1776-1776 | Les valeurs retourn�es par AttrFn sont des sous-classes de objet |
| (rangeSubclass BodyAreaFn BodyPart) | Medicine.kif 6235-6235 | Les valeurs retourn�es par BodyAreaFn sont des sous-classes de partie du corps |
| (rangeSubclass BodySideFn BodyPart) | Merge.kif 14973-14973 | Les valeurs retourn�es par BodySideFn sont des sous-classes de partie du corps |
| (rangeSubclass ConstitutionFn Constitution) | Government.kif 675-675 | Les valeurs retourn�es par ConstitutionFn sont des sous-classes de Constitution |
| (rangeSubclass CoveringFn WearableItem) | Mid-level-ontology.kif 29726-29726 | Les valeurs retourn�es par CoveringFn sont des sous-classes de WearableItem |
| (rangeSubclass CutSetFn GraphPath) | Merge.kif 6072-6072 | Les valeurs retourn�es par CutSetFn sont des sous-classes de chemin du graph |
| (rangeSubclass DayFn Day) | Merge.kif 8590-8590 | Les valeurs retourn�es par DayFn sont des sous-classes de jour |
| (rangeSubclass DeadFn OrganismRemains) | Mid-level-ontology.kif 116-116 | Les valeurs retourn�es par DeadFn sont des sous-classes de OrganismRemains |
| (rangeSubclass DemonymFn NationalPerson) | Mid-level-ontology.kif 30631-30631 | Les valeurs retourn�es par DemonymFn sont des sous-classes de NationalPerson |
| (rangeSubclass DocumentFn Text) | Geography.kif 3013-3013 | Les valeurs retourn�es par DocumentFn sont des sous-classes de texte |
| (rangeSubclass EdemaFn Edema) | Mid-level-ontology.kif 9980-9980 | Les valeurs retourn�es par EdemaFn sont des sous-classes de Edema |
| (rangeSubclass EditionFn ContentBearingObject) | Merge.kif 15510-15510 | Les valeurs retourn�es par EditionFn sont des sous-classes de objet exprimant un sens |
| (rangeSubclass ElectionFn Election) | Government.kif 1686-1686 | Les valeurs retourn�es par ElectionFn sont des sous-classes de Election |
| (rangeSubclass FailureFn Process) | ComputingBrands.kif 4515-4515 | Les valeurs retourn�es par FailureFn sont des sous-classes de processus |
| (rangeSubclass FarmOfProductFn CultivatedLandArea) | Food.kif 3668-3668 | Les valeurs retourn�es par FarmOfProductFn sont des sous-classes de CultivatedLandArea |
| (rangeSubclass FiscalYearFn TimeInterval) | Economy.kif 3698-3698 | Les valeurs retourn�es par FiscalYearFn sont des sous-classes de interval temporel |
| (rangeSubclass FoodForFn SelfConnectedObject) | Merge.kif 14859-14859 | Les valeurs retourn�es par FoodForFn sont des sous-classes de objet en une partie |
| (rangeSubclass GeographicPartTypeFn GeographicArea) | Geography.kif 6915-6915 | Les valeurs retourn�es par GeographicPartTypeFn sont des sous-classes de secteur g�ographique |
| (rangeSubclass GraphPathFn GraphPath) | Merge.kif 6056-6056 | Les valeurs retourn�es par GraphPathFn sont des sous-classes de chemin du graph |
| (rangeSubclass HourFn Hour) | Merge.kif 8615-8615 | Les valeurs retourn�es par HourFn sont des sous-classes de heure |
| (rangeSubclass ImpairmentFn BiologicalProcess) | Merge.kif 13470-13470 | Les valeurs retourn�es par ImpairmentFn sont des sous-classes de processus biologique |
| (rangeSubclass IntervalFn ConstantQuantity) | Merge.kif 6585-6585 | Les valeurs retourn�es par IntervalFn sont des sous-classes de quantit� constante |
| (rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 | Les valeurs retourn�es par JuiceOfFn sont des sous-classes de Juice |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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