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

Formal Language: 



KB Term:  Term intersection
English Word: 

  domainSubclass

Sigma KEE - domainSubclass
domainSubclass

appearance as argument number 1
-------------------------


(documentation domainSubclass ChineseLanguage "这个 Predicate 是用来指定 Predicates 参数 类型的限制。 公式(domainSubclass ?REL ?INT ?CLASS) 的意思是在?REL关系中,每个元组的第?INT个元素, 必须是?CLASS种的一个子类别。") chinese_format.kif 1387-1389
(documentation domainSubclass EnglishLanguage "A Predicate that is used to specify argument type restrictions of Predicates. The formula (domainSubclass ?REL ?INT ?CLASS) means that the ?INT'th element of each tuple in the relation ?REL must be a subclass of ?CLASS.") Merge.kif 231-234
(domain domainSubclass 1 Relation) Merge.kif 228-228 子类别的定义域 的 1 数量 是 关系instance
(domain domainSubclass 2 PositiveInteger) Merge.kif 229-229 子类别的定义域 的 2 数量 是 正整数instance
(domain domainSubclass 3 Class) Merge.kif 230-230 子类别的定义域 的 3 数量 是 instance
(instance domainSubclass TernaryPredicate) Merge.kif 227-227 子类别的定义域三元谓语instance

appearance as argument number 2
-------------------------


(format ChineseLanguage domainSubclass "%1 的 %2 数量 %n 是 %3 的 subclass") chinese_format.kif 293-293
(format EnglishLanguage domainSubclass "the number %2 argument of %1 is %n a subclass of %3") english_format.kif 298-298
(termFormat ChineseLanguage domainSubclass "域子类") domainEnglishFormat.kif 20109-20109
(termFormat ChineseLanguage domainSubclass "子类别的定义域") chinese_format.kif 294-294
(termFormat ChineseTraditionalLanguage domainSubclass "域子類") domainEnglishFormat.kif 20108-20108
(termFormat EnglishLanguage domainSubclass "domain subclass") domainEnglishFormat.kif 20107-20107

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


(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS)
        (instance ?REL Predicate)
        (?REL @ROW))
    (subclass
        (ListOrderFn
            (ListFn @ROW) ?NUMBER) ?CLASS))
Merge.kif 2939-2944
(=>
    (and
        (domainSubclass ?REL ?NUMBER ?CLASS1)
        (domainSubclass ?REL ?NUMBER ?CLASS2))
    (or
        (subclass ?CLASS1 ?CLASS2)
        (subclass ?CLASS2 ?CLASS1)))
Merge.kif 242-248
(=>
    (and
        (domainSubclass ?REL1 ?NUMBER ?CLASS1)
        (domainSubclass ?REL2 ?NUMBER ?CLASS2)
        (disjoint ?CLASS1 ?CLASS2))
    (disjointRelation ?REL1 ?REL2))
Merge.kif 424-429
(=>
    (and
        (subrelation ?REL1 ?REL2)
        (domainSubclass ?REL2 ?NUMBER ?CLASS1))
    (domainSubclass ?REL1 ?NUMBER ?CLASS1))
Merge.kif 236-240

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


(=>
    (and
        (subrelation ?REL1 ?REL2)
        (domainSubclass ?REL2 ?NUMBER ?CLASS1))
    (domainSubclass ?REL1 ?NUMBER ?CLASS1))
Merge.kif 236-240

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


(domainSubclass AgentOfOrganismFn 1 Organism) WMD.kif 87-87 AgentOfOrganismFn 的 1 数量 是 生物subclass
(domainSubclass AlbumCopiesFn 2 DataStorageDevice) Music.kif 928-928 AlbumCopiesFn 的 2 数量 是 DataStorageDevicesubclass
(domainSubclass AmountsFn 1 Substance) Merge.kif 7487-7487 AmountsFn 的 1 数量 是 物质subclass
(domainSubclass AttrFn 1 Object) Merge.kif 1723-1723 Attr 的 1 数量 是 客体subclass
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 14708-14708 BodySideFn 的 2 数量 是 身体部位subclass
(domainSubclass CellPartFn 2 CellPart) VirusProteinAndCellPart.kif 656-656 细胞部分 的 2 数量 是 细胞部分subclass
(domainSubclass ContestFn 1 Contest) Music.kif 1040-1040 ContestFn 的 1 数量 是 比赛subclass
(domainSubclass CoveringFn 1 BodyPart) Mid-level-ontology.kif 29137-29137 CoveringFn 的 1 数量 是 身体部位subclass
(domainSubclass DayFn 2 Month) Merge.kif 8497-8497 日函数 的 2 数量 是 subclass
(domainSubclass DeadFn 1 Organism) Mid-level-ontology.kif 108-108 DeadFn 的 1 数量 是 生物subclass
(domainSubclass DeadOrMissingBodyPartFn 1 BodyPart) Merge.kif 17978-17978 DeadOrMissingBodyPartFn 的 1 数量 是 身体部位subclass
(domainSubclass DepartmentOfFn 2 Physical) Mid-level-ontology.kif 17734-17734 DepartmentOfFn 的 2 数量 是 物理subclass
(domainSubclass EdemaFn 1 BodyPart) Mid-level-ontology.kif 9551-9551 EdemaFn 的 1 数量 是 身体部位subclass
(domainSubclass EditionFn 1 ContentBearingObject) Merge.kif 15239-15239 版本函数 的 1 数量 是 有内用物体subclass
(domainSubclass FailureFn 1 IntentionalProcess) ComputingBrands.kif 4477-4477 FailureFn 的 1 数量 是 有意图过程subclass
(domainSubclass FarmOfProductFn 1 Organism) Food.kif 1080-1080 FarmOfProductFn 的 1 数量 是 生物subclass
(domainSubclass FiscalYearStartingFn 2 Year) Economy.kif 3733-3733 财政年度开始 的 2 数量 是 subclass
(domainSubclass FoodForFn 1 Organism) Merge.kif 14594-14594 FoodForFn 的 1 数量 是 生物subclass
(domainSubclass GeneralizedIntersectionFn 1 SetOrClass) Merge.kif 5404-5404 概括交集函数 的 1 数量 是 集或类subclass
(domainSubclass GeneralizedUnionFn 1 SetOrClass) Merge.kif 5393-5393 概括结合函数 的 1 数量 是 集或类subclass
(domainSubclass GeographicPartTypeFn 1 GeographicArea) Geography.kif 6601-6601 GeographicPartTypeFn 的 1 数量 是 地理区域subclass
(domainSubclass HourFn 2 Day) Merge.kif 8522-8522 时函数 的 2 数量 是 subclass
(domainSubclass ImpairedBodyPartFn 1 BodyPart) Merge.kif 17958-17958 ImpairedBodyPartFn 的 1 数量 是 身体部位subclass
(domainSubclass ImpairmentFn 1 PhysiologicProcess) Merge.kif 13229-13229 ImpairmentFn 的 1 数量 是 生理过程subclass
(domainSubclass JuiceOfFn 1 FruitOrVegetable) Food.kif 577-577 JuiceOfFn 的 1 数量 是 水果或蔬菜subclass

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)

Show without tree


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