Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - rangeSubclass
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 334-335
(domain rangeSubclass 1 Function) Merge.kif 332-332 子类别的范围 的 1 数量 是 函数instance
(domainSubclass rangeSubclass 2 SetOrClass) Merge.kif 333-333 子类别的范围 的 2 数量 是 集或类subclass
(instance rangeSubclass AsymmetricRelation) Merge.kif 331-331 子类别的范围非对称关系instance
(instance rangeSubclass BinaryPredicate) Merge.kif 330-330 子类别的范围二元谓语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 337-337
(termFormat ChineseLanguage rangeSubclass "子类别的范围") chinese_format.kif 330-330
(termFormat ChineseLanguage rangeSubclass "范围子类") domainEnglishFormat.kif 48662-48662
(termFormat ChineseTraditionalLanguage rangeSubclass "範圍子類") domainEnglishFormat.kif 48661-48661
(termFormat EnglishLanguage rangeSubclass "range subclass") domainEnglishFormat.kif 48660-48660

antecedent
-------------------------


(=>
    (and
        (rangeSubclass ?FUNCTION ?CLASS)
        (equal
            (AssignmentFn ?FUNCTION @ROW) ?VALUE))
    (subclass ?VALUE ?CLASS))
Merge.kif 337-341
(=>
    (and
        (rangeSubclass ?REL ?CLASS1)
        (rangeSubclass ?REL ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 349-355
(=>
    (and
        (rangeSubclass ?REL1 ?CLASS1)
        (rangeSubclass ?REL2 ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 439-444
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (rangeSubclass ?REL2 ?CLASS1))
    (rangeSubclass ?REL1 ?CLASS1))
Merge.kif 343-347

consequent
-------------------------


(=>
    (and
        (subrelation ?REL1 ?REL2)
        (rangeSubclass ?REL2 ?CLASS1))
    (rangeSubclass ?REL1 ?CLASS1))
Merge.kif 343-347

appearance as argument number 0
-------------------------


(rangeSubclass AgentOfOrganismFn BiologicalAgent) WMD.kif 88-88 AgentOfOrganismFn 的所得值 是 生物制剂subclass
(rangeSubclass AlbumCopiesFn DataStorageDevice) Music.kif 928-928 AlbumCopiesFn 的所得值 是 DataStorageDevicesubclass
(rangeSubclass ConstitutionFn Constitution) Government.kif 662-662 宪法 的所得值 是 宪法subclass
(rangeSubclass CoveringFn WearableItem) Mid-level-ontology.kif 27909-27909 CoveringFn 的所得值 是 可穿戴物品subclass
(rangeSubclass CutSetFn GraphPath) Merge.kif 5723-5723 分图路径函数 的所得值 是 图路径subclass
(rangeSubclass DayFn Day) Merge.kif 8017-8017 日函数 的所得值 是 subclass
(rangeSubclass DeadFn OrganismRemains) Mid-level-ontology.kif 235-235 DeadFn 的所得值 是 OrganismRemainssubclass
(rangeSubclass DemonymFn NationalPerson) Mid-level-ontology.kif 28776-28776 DemonymFn 的所得值 是 NationalPersonsubclass
(rangeSubclass DocumentFn Text) Geography.kif 2872-2872 文献 的所得值 是 文本subclass
(rangeSubclass EditionFn ContentBearingObject) Merge.kif 14329-14329 版本函数 的所得值 是 有内用物体subclass
(rangeSubclass ElectionFn Election) Government.kif 1640-1640 选举 的所得值 是 选举subclass
(rangeSubclass FailureFn Process) ComputingBrands.kif 4440-4440 FailureFn 的所得值 是 过程subclass
(rangeSubclass FarmOfProductFn CultivatedLandArea) Food.kif 1091-1091 FarmOfProductFn 的所得值 是 耕地面积subclass
(rangeSubclass FiscalYearFn TimeInterval) Economy.kif 3701-3701 财政年度 的所得值 是 时距subclass
(rangeSubclass FoodForFn SelfConnectedObject) Merge.kif 13785-13785 FoodForFn 的所得值 是 自身连接物体subclass
(rangeSubclass GeographicPartTypeFn GeographicArea) Geography.kif 6253-6253 GeographicPartTypeFn 的所得值 是 地理区域subclass
(rangeSubclass GraphPathFn GraphPath) Merge.kif 5707-5707 图路函数 的所得值 是 图路径subclass
(rangeSubclass HourFn Hour) Merge.kif 8042-8042 时函数 的所得值 是 小时subclass
(rangeSubclass IntervalFn ConstantQuantity) Merge.kif 6237-6237 间隔函数 的所得值 是 恒量subclass
(rangeSubclass JuiceOfFn Juice) Food.kif 596-596 JuiceOfFn 的所得值 是 Juicesubclass
(rangeSubclass MakingFn Object) Merge.kif 16975-16975 MakingFn 的所得值 是 客体subclass
(rangeSubclass MinimalCutSetFn GraphPath) Merge.kif 5731-5731 分最短图路径函数 的所得值 是 图路径subclass
(rangeSubclass MinuteFn Minute) Merge.kif 8068-8068 分函数 的所得值 是 分钟subclass
(rangeSubclass MonthFn Month) Merge.kif 8000-8000 月函数 的所得值 是 subclass
(rangeSubclass NetworkCommunicationFn NetworkCommunication) ComputingBrands.kif 1498-1498 网路通信功能 的所得值 是 NetworkCommunicationsubclass

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners