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 数量 是 DataStorageDevice 的 subclass
(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