TreeView Knowledge Base Browser

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	Die Zahl 1 Argument von rangeSubclass ist ein fall von Function %n{nicht}
(domainSubclass rangeSubclass 2 Class)	Merge.kif 335-335	Die Zahl 2 Argument von rangeSubclass ist eine teilkategorie von Class %n{nicht}
(instance rangeSubclass AsymmetricRelation)	Merge.kif 333-333	rangeSubclass ist ein fall von AsymmetricRelation %n{nicht}
(instance rangeSubclass BinaryPredicate)	Merge.kif 332-332	rangeSubclass ist ein fall von BinaryPredicate %n{nicht}

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	Wenn die werte die Function zurueckgibt sind teilkategorien von Class und Function(@ROW) ist gleich Class %n{nicht}, dann Class ist eine teilkategorie von Class
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 351-357	Wenn die werte die Function zurueckgibt sind teilkategorien von Class und die werte die Function zurueckgibt sind teilkategorien von Class, dann Class ist eine teilkategorie von Class oder Class ist eine teilkategorie von Class
(=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 440-445	Wenn die werte die Function zurueckgibt sind teilkategorien von Class und die werte die Function zurueckgibt sind teilkategorien von Class und Class ist dijunkt von Class %n{nicht}, dann Function und Function werden disjunkt
(=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1))	Merge.kif 345-349	Wenn Function ist eine teilrelation von Function und die werte die Function zurueckgibt sind teilkategorien von Class, dann die werte die Function zurueckgibt sind teilkategorien von Class

consequent

(=>
    (and
        (subrelation ?REL1 ?REL2)
        (rangeSubclass ?REL2 ?CLASS1))
    (rangeSubclass ?REL1 ?CLASS1))

Merge.kif 345-349

Wenn Function ist eine teilrelation von ** Function und die werte die ** ** Function zurueckgibt sind teilkategorien von ** Class,
dann die werte die ** Function zurueckgibt sind teilkategorien von ** Class

appearance as argument number 0

(rangeSubclass AgentOfOrganismFn BiologicalAgent)	WMD.kif 88-88	Die werte die AgentOfOrganismFn zurueckgibt sind teilkategorien von BiologicalAgent
(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 932-932	Die werte die AlbumCopiesFn zurueckgibt sind teilkategorien von DataStorageDevice
(rangeSubclass AttrFn Object)	Merge.kif 1776-1776	Die werte die AttrFn zurueckgibt sind teilkategorien von Object
(rangeSubclass BodyAreaFn BodyPart)	Medicine.kif 6235-6235	Die werte die BodyAreaFn zurueckgibt sind teilkategorien von BodyPart
(rangeSubclass BodySideFn BodyPart)	Merge.kif 14973-14973	Die werte die BodySideFn zurueckgibt sind teilkategorien von BodyPart
(rangeSubclass ConstitutionFn Constitution)	Government.kif 675-675	Die werte die ConstitutionFn zurueckgibt sind teilkategorien von Constitution
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29726-29726	Die werte die CoveringFn zurueckgibt sind teilkategorien von WearableItem
(rangeSubclass CutSetFn GraphPath)	Merge.kif 6072-6072	Die werte die CutSetFn zurueckgibt sind teilkategorien von GraphPath
(rangeSubclass DayFn Day)	Merge.kif 8590-8590	Die werte die DayFn zurueckgibt sind teilkategorien von Day
(rangeSubclass DeadFn OrganismRemains)	Mid-level-ontology.kif 116-116	Die werte die DeadFn zurueckgibt sind teilkategorien von OrganismRemains
(rangeSubclass DemonymFn NationalPerson)	Mid-level-ontology.kif 30631-30631	Die werte die DemonymFn zurueckgibt sind teilkategorien von NationalPerson
(rangeSubclass DocumentFn Text)	Geography.kif 3013-3013	Die werte die DocumentFn zurueckgibt sind teilkategorien von Text
(rangeSubclass EdemaFn Edema)	Mid-level-ontology.kif 9980-9980	Die werte die EdemaFn zurueckgibt sind teilkategorien von Edema
(rangeSubclass EditionFn ContentBearingObject)	Merge.kif 15510-15510	Die werte die EditionFn zurueckgibt sind teilkategorien von ContentBearingObject
(rangeSubclass ElectionFn Election)	Government.kif 1686-1686	Die werte die ElectionFn zurueckgibt sind teilkategorien von Election
(rangeSubclass FailureFn Process)	ComputingBrands.kif 4515-4515	Die werte die FailureFn zurueckgibt sind teilkategorien von Process
(rangeSubclass FarmOfProductFn CultivatedLandArea)	Food.kif 3668-3668	Die werte die FarmOfProductFn zurueckgibt sind teilkategorien von CultivatedLandArea
(rangeSubclass FiscalYearFn TimeInterval)	Economy.kif 3698-3698	Die werte die FiscalYearFn zurueckgibt sind teilkategorien von TimeInterval
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 14859-14859	Die werte die FoodForFn zurueckgibt sind teilkategorien von SelfConnectedObject
(rangeSubclass GeographicPartTypeFn GeographicArea)	Geography.kif 6915-6915	Die werte die GeographicPartTypeFn zurueckgibt sind teilkategorien von GeographicArea
(rangeSubclass GraphPathFn GraphPath)	Merge.kif 6056-6056	Die werte die GraphPathFn zurueckgibt sind teilkategorien von GraphPath
(rangeSubclass HourFn Hour)	Merge.kif 8615-8615	Die werte die HourFn zurueckgibt sind teilkategorien von Hour
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13470-13470	Die werte die ImpairmentFn zurueckgibt sind teilkategorien von BiologicalProcess
(rangeSubclass IntervalFn ConstantQuantity)	Merge.kif 6585-6585	Die werte die IntervalFn zurueckgibt sind teilkategorien von ConstantQuantity
(rangeSubclass JuiceOfFn Juice)	Food.kif 2600-2600	Die werte die JuiceOfFn zurueckgibt sind teilkategorien von Juice

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: