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	域範圍子類, 1 and Function
(domainSubclass rangeSubclass 2 Class)	Merge.kif 335-335	域子類範圍子類, 2 and Class
(instance rangeSubclass AsymmetricRelation)	Merge.kif 333-333	例範圍子類 and AsymmetricRelation
(instance rangeSubclass BinaryPredicate)	Merge.kif 332-332	例範圍子類 and BinaryPredicate

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 48766-48766
(termFormat ChineseTraditionalLanguage rangeSubclass "範圍子類")	domainEnglishFormat.kif 48765-48765
(termFormat EnglishLanguage rangeSubclass "range subclass")	domainEnglishFormat.kif 48764-48764

antecedent

(=> (and (rangeSubclass ?FUNCTION ?CLASS) (equal (AssignmentFn ?FUNCTION @ROW) ?VALUE)) (subclass ?VALUE ?CLASS))	Merge.kif 339-343	範圍子類 Function and Class 等於任務 Function and @ROW and Class 子類 Class and Class
(=> (and (rangeSubclass ?REL ?CLASS1) (rangeSubclass ?REL ?CLASS2)) (or (subclass ?CLASS1 ?CLASS2) (subclass ?CLASS2 ?CLASS1)))	Merge.kif 351-357	範圍子類 Function and Class 範圍子類 Function and Class 子類 Class and Class 子類 Class and Class
(=> (and (rangeSubclass ?REL1 ?CLASS1) (rangeSubclass ?REL2 ?CLASS2) (disjoint ?CLASS1 ?CLASS2)) (disjointRelation ?REL1 ?REL2))	Merge.kif 440-445	範圍子類 Function and Class 範圍子類 Function and Class 不相交的 Class and Class 不相交的關係 Function and Function
(=> (and (subrelation ?REL1 ?REL2) (rangeSubclass ?REL2 ?CLASS1)) (rangeSubclass ?REL1 ?CLASS1))	Merge.kif 345-349	子關係 Function and Function 範圍子類 Function and Class 範圍子類 Function and Class

consequent

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

Merge.kif 345-349

子關係 Function and Function 範圍子類 Function and Class
範圍子類 Function and Class

appearance as argument number 0

(rangeSubclass AgentOfOrganismFn BiologicalAgent)	WMD.kif 88-88	範圍子類 AgentOfOrganismFn and 生物製劑
(rangeSubclass AlbumCopiesFn DataStorageDevice)	Music.kif 932-932	範圍子類 AlbumCopiesFn and DataStorageDevice
(rangeSubclass AttrFn Object)	Merge.kif 1776-1776	範圍子類 attr and Object
(rangeSubclass BodyAreaFn BodyPart)	Medicine.kif 6235-6235	範圍子類 BodyAreaFn and BodyPart
(rangeSubclass BodySideFn BodyPart)	Merge.kif 15019-15019	範圍子類 BodySideFn and BodyPart
(rangeSubclass ConstitutionFn Constitution)	Government.kif 639-639	範圍子類憲法 and 憲法
(rangeSubclass CoveringFn WearableItem)	Mid-level-ontology.kif 29777-29777	範圍子類 CoveringFn and 可穿戴物品
(rangeSubclass CutSetFn GraphPath)	Merge.kif 6073-6073	範圍子類切集 and GraphPath
(rangeSubclass DayFn Day)	Merge.kif 8626-8626	範圍子類天 and Day
(rangeSubclass DeadFn OrganismRemains)	Merge.kif 18555-18555	範圍子類 DeadFn and OrganismRemains
(rangeSubclass DemonymFn NationalPerson)	Mid-level-ontology.kif 30655-30655	範圍子類 DemonymFn and NationalPerson
(rangeSubclass DocumentFn Text)	Geography.kif 3013-3013	範圍子類文獻 and Text
(rangeSubclass EdemaFn Edema)	Mid-level-ontology.kif 10007-10007	範圍子類 EdemaFn and Edema
(rangeSubclass EditionFn ContentBearingObject)	Merge.kif 15556-15556	範圍子類版 and ContentBearingObject
(rangeSubclass ElectionFn Election)	Government.kif 1650-1650	範圍子類選舉 and 選舉
(rangeSubclass FailureFn Process)	ComputingBrands.kif 4515-4515	範圍子類 FailureFn and Process
(rangeSubclass FarmOfProductFn CultivatedLandArea)	Food.kif 3668-3668	範圍子類 FarmOfProductFn and 耕地面積
(rangeSubclass FiscalYearFn TimeInterval)	Economy.kif 3698-3698	範圍子類財政年度 and TimeInterval
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 14905-14905	範圍子類 FoodForFn and SelfConnectedObject
(rangeSubclass GeographicPartTypeFn GeographicArea)	Geography.kif 6915-6915	範圍子類 GeographicPartTypeFn and GeographicArea
(rangeSubclass GraphPathFn GraphPath)	Merge.kif 6057-6057	範圍子類圖形路徑 and GraphPath
(rangeSubclass HourFn Hour)	Merge.kif 8651-8651	範圍子類小時 and Hour
(rangeSubclass ImpairmentFn BiologicalProcess)	Merge.kif 13516-13516	範圍子類 ImpairmentFn and BiologicalProcess
(rangeSubclass IntervalFn ConstantQuantity)	Merge.kif 6586-6586	範圍子類間隔 and ConstantQuantity
(rangeSubclass JuiceOfFn Juice)	Food.kif 2600-2600	範圍子類 JuiceOfFn and 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: