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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subAttribute

 Sigma KEE - subAttribute
subAttribute

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


(disjointRelation subAttribute successorAttribute) Merge.kif 684-684 子属性 和 后续属性 是 disjoint 关系
(documentation subAttribute ChineseLanguage "这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。") chinese_format.kif 1534-1535
(documentation subAttribute EnglishLanguage "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.") Merge.kif 686-687
(documentation subAttribute JapaneseLanguage "2番目の引数が、最初の引数が割り当てられているす べてのものに割り当てられる、という意味である。") japanese_format.kif 100-101
(documentation subAttribute SpanishLanguage "Quiere decir que el segundo argumento puede ser atribuido a todo lo que se han sido atribuido al primer argumento.") spanish_format.kif 117-118
(domain subAttribute 1 Attribute) Merge.kif 682-682 子属性 的 1 数量 是 属性 的 instance
(domain subAttribute 2 Attribute) Merge.kif 683-683 子属性 的 2 数量 是 属性 的 instance
(instance subAttribute BinaryPredicate) Merge.kif 680-680 子属性 是 二元谓语 的 instance
(instance subAttribute PartialOrderingRelation) Merge.kif 681-681 子属性 是 偏序关系 的 instance

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


(format ChineseLanguage subAttribute "%1 %n 是 %2 的 subAttribute") chinese_format.kif 317-317
(format EnglishLanguage subAttribute "%1 is %n a subattribute of %2") english_format.kif 322-322
(format FrenchLanguage subAttribute "%1 est %n un sous-attribut de %2") french_format.kif 181-181
(format ItalianLanguage subAttribute "%1 è %n un sottoattributo di %2") relations-it.txt 270-270
(format JapaneseLanguage subAttribute "%1 は %2 の subattribute では %n") japanese_format.kif 2001-2001
(format PortugueseLanguage subAttribute "%1 e' %n um sub-atributo de %2") portuguese_format.kif 133-133
(format cz subAttribute "%1 %p{je} %n{nen�} a subattribute of %2") relations-cz.txt 194-194
(format de subAttribute "%1 ist ein teilattribut von %2") relations-de.txt 416-416
(format hi subAttribute "%1 %2 kii gauNa visheshhataa %n hai") relations-hindi.txt 307-307
(format ro subAttribute "%1 %n{nu} este un subattribute%t{subatribut} al lui %2") relations-ro.kif 201-201
(format sv subAttribute "%1 är %n{inte} ett underattribut till %2") relations-sv.txt 191-191
(format tg subAttribute "%1 %n ay ang katangian mas tiyak ng %2") relations-tg.txt 462-462
(termFormat ChineseLanguage subAttribute "子属性") chinese_format.kif 318-318
(termFormat ChineseTraditionalLanguage subAttribute "子屬性") domainEnglishFormat.kif 55693-55693
(termFormat EnglishLanguage subAttribute "sub attribute") domainEnglishFormat.kif 55692-55692

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


(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))		 Government.kif 4546-4554
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))		 Government.kif 352-357
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))		 Government.kif 345-350
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))		 Government.kif 256-264
(=>
    (and
        (instance ?SENDER Nation)
        (instance ?RECEIVER Nation)
        (instance ?PERSON Human)
        (attribute ?PERSON ?ROLE)
        (subAttribute ?ROLE DiplomaticAgent)
        (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER))
    (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER))		 Government.kif 4585-4593
(=>
    (and
        (organizationalObjective ?ORG ?AIM)
        (subAttribute ?AIM ?OVERAIM))
    (organizationalObjective ?ORG ?OVERAIM))		 Government.kif 2566-2570
(=>
    (and
        (subAttribute ?ATTR1 ?ATTR2)
        (instance ?ATTR2 ?CLASS))
    (instance ?ATTR1 ?CLASS))		 Merge.kif 696-700
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))		 Merge.kif 689-694

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))		 Government.kif 4521-4527
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))		 Government.kif 4529-4535
(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))		 Government.kif 4372-4374

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


(subAttribute AONOrder FinancialOrder) FinancialOntology.kif 2899-2899 AON 订单 是 金融秩序 的 subAttribute
(subAttribute AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing) naics.kif 3894-3894 磨料产品制造 是 其他非金属矿产品制造 的 subAttribute
(subAttribute AbruzzeseCuisine ItalianCuisine) Dining.kif 1524-1524 AbruzzeseCuisine 是 ItalianCuisine 的 subAttribute
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 327-327 绝对君主制 是 威权政权 的 subAttribute
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 240-240 绝对君主制 是 帝制 的 subAttribute
(subAttribute Accommodation AccommodationAndFoodServices) naics.kif 11559-11559 住所 是 住宿和餐饮服务 的 subAttribute
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices) naics.kif 9900-9900 会计税务准备簿记和工资单服务 是 专业的科技服务 的 subAttribute
(subAttribute ActingConsulGeneral ConsulGeneral) Government.kif 4404-4404 代理总领事 是 总领事 的 subAttribute
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities) naics.kif 9289-9289 与信贷中介有关的活动 是 信贷中介及相关活动 的 subAttribute
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry) naics.kif 9647-9647 与房地产有关的活动 是 RealEstateIndustry 的 subAttribute
(subAttribute Actor Performer) Mid-level-ontology.kif 18835-18835 Actor 是 Performer 的 subAttribute
(subAttribute Actuary Scientist) Biography.kif 353-353 精算师 是 Scientist 的 subAttribute
(subAttribute AcuteBronchitis Bronchitis) Mid-level-ontology.kif 6024-6024 AcuteBronchitis 是 Bronchitis 的 subAttribute
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing) naics.kif 3387-3387 胶粘剂制造 是 油漆涂料和胶粘剂制造 的 subAttribute
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12355-12355 管理空气和水资源以及固体废物管理计划 是 管理环境品质计划 的 subAttribute
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12364-12364 管理保护计划 是 管理环境品质计划 的 subAttribute
(subAttribute AdministrationOfEconomicPrograms PublicAdministration) naics.kif 12395-12395 管理经济计划 是 公共行政 的 subAttribute
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms) naics.kif 12317-12317 管理教育计划 是 管理人力资源计划 的 subAttribute
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration) naics.kif 12348-12348 管理环境品质计划 是 公共行政 的 subAttribute
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms) naics.kif 12401-12401 一般经济计划的管理 是 管理经济计划 的 subAttribute
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12379-12379 住房计划管理 是 住房计划管理城市规划和社区发展 的 subAttribute
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration) naics.kif 12371-12371 住房计划管理城市规划和社区发展 是 公共行政 的 subAttribute
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration) naics.kif 12311-12311 管理人力资源计划 是 公共行政 的 subAttribute
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms) naics.kif 12331-12331 除教育公共卫生和退伍军人事务计划外的人力资源计划管理 是 管理人力资源计划 的 subAttribute
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms) naics.kif 12324-12324 管理公共卫生计划 是 管理人力资源计划 的 subAttribute

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