rangeSubclass |
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 | O argumento numero 1 de rangeSubclass e' uma instancia de Funcao |
(domainSubclass rangeSubclass 2 Class) | Merge.kif 335-335 | O argumento numero 2 de rangeSubclass e' uma sub-classe de Classe |
(instance rangeSubclass AsymmetricRelation) | Merge.kif 333-333 | rangeSubclass e' uma instancia de Relacao Assimetrica |
(instance rangeSubclass BinaryPredicate) | Merge.kif 332-332 | rangeSubclass e' uma instancia de Predicado Binario |
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 | Os valores retornados por AgentOfOrganismFn sao as sub-classes de BiologicalAgent |
(rangeSubclass AlbumCopiesFn DataStorageDevice) | Music.kif 932-932 | Os valores retornados por AlbumCopiesFn sao as sub-classes de DataStorageDevice |
(rangeSubclass AttrFn Object) | Merge.kif 1776-1776 | Os valores retornados por AttrFn sao as sub-classes de Objeto |
(rangeSubclass BodyAreaFn BodyPart) | Medicine.kif 6235-6235 | Os valores retornados por BodyAreaFn sao as sub-classes de Parte do Corpo |
(rangeSubclass BodySideFn BodyPart) | Merge.kif 14973-14973 | Os valores retornados por BodySideFn sao as sub-classes de Parte do Corpo |
(rangeSubclass ConstitutionFn Constitution) | Government.kif 675-675 | Os valores retornados por ConstitutionFn sao as sub-classes de Constitution |
(rangeSubclass CoveringFn WearableItem) | Mid-level-ontology.kif 29726-29726 | Os valores retornados por CoveringFn sao as sub-classes de WearableItem |
(rangeSubclass CutSetFn GraphPath) | Merge.kif 6072-6072 | Os valores retornados por CutSetFn sao as sub-classes de Caminho do Grafo |
(rangeSubclass DayFn Day) | Merge.kif 8590-8590 | Os valores retornados por DayFn sao as sub-classes de Dia |
(rangeSubclass DeadFn OrganismRemains) | Mid-level-ontology.kif 116-116 | Os valores retornados por DeadFn sao as sub-classes de OrganismRemains |
(rangeSubclass DemonymFn NationalPerson) | Mid-level-ontology.kif 30631-30631 | Os valores retornados por DemonymFn sao as sub-classes de NationalPerson |
(rangeSubclass DocumentFn Text) | Geography.kif 3013-3013 | Os valores retornados por DocumentFn sao as sub-classes de Texto |
(rangeSubclass EdemaFn Edema) | Mid-level-ontology.kif 9980-9980 | Os valores retornados por EdemaFn sao as sub-classes de Edema |
(rangeSubclass EditionFn ContentBearingObject) | Merge.kif 15510-15510 | Os valores retornados por EditionFn sao as sub-classes de Objeto Representendo Conteudo Abstrato |
(rangeSubclass ElectionFn Election) | Government.kif 1686-1686 | Os valores retornados por ElectionFn sao as sub-classes de Election |
(rangeSubclass FailureFn Process) | ComputingBrands.kif 4515-4515 | Os valores retornados por FailureFn sao as sub-classes de Processo |
(rangeSubclass FarmOfProductFn CultivatedLandArea) | Food.kif 3668-3668 | Os valores retornados por FarmOfProductFn sao as sub-classes de CultivatedLandArea |
(rangeSubclass FiscalYearFn TimeInterval) | Economy.kif 3698-3698 | Os valores retornados por FiscalYearFn sao as sub-classes de Intervalo Temporal |
(rangeSubclass FoodForFn SelfConnectedObject) | Merge.kif 14859-14859 | Os valores retornados por FoodForFn sao as sub-classes de Objeto auto-conectado |
(rangeSubclass GeographicPartTypeFn GeographicArea) | Geography.kif 6915-6915 | Os valores retornados por GeographicPartTypeFn sao as sub-classes de Area Geografica |
(rangeSubclass GraphPathFn GraphPath) | Merge.kif 6056-6056 | Os valores retornados por GraphPathFn sao as sub-classes de Caminho do Grafo |
(rangeSubclass HourFn Hour) | Merge.kif 8615-8615 | Os valores retornados por HourFn sao as sub-classes de Hora |
(rangeSubclass ImpairmentFn BiologicalProcess) | Merge.kif 13470-13470 | Os valores retornados por ImpairmentFn sao as sub-classes de Processo Biologico |
(rangeSubclass IntervalFn ConstantQuantity) | Merge.kif 6585-6585 | Os valores retornados por IntervalFn sao as sub-classes de Quantidade Constante |
(rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 | Os valores retornados por JuiceOfFn sao as sub-classes de Juice |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |