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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - subAttribute
subAttribute

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


(disjointRelation subAttribute successorAttribute) Merge.kif 655-655 子属性后续属性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 657-658
(domain subAttribute 1 Attribute) Merge.kif 653-653 子属性 的 1 数量 是 属性instance
(domain subAttribute 2 Attribute) Merge.kif 654-654 子属性 的 2 数量 是 属性instance
(instance subAttribute BinaryPredicate) Merge.kif 651-651 子属性二元谓语instance
(instance subAttribute PartialOrderingRelation) Merge.kif 652-652 子属性偏序关系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 325-325
(termFormat ChineseLanguage subAttribute "子属性") chinese_format.kif 318-318
(termFormat ChineseTraditionalLanguage subAttribute "子屬性") domainEnglishFormat.kif 55605-55605
(termFormat EnglishLanguage subAttribute "sub attribute") domainEnglishFormat.kif 55604-55604

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 4513-4521
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))
Government.kif 340-345
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))
Government.kif 333-338
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))
Government.kif 244-252
(=>
    (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 4552-4560
(=>
    (and
        (organizationalObjective ?ORG ?AIM)
        (subAttribute ?AIM ?OVERAIM))
    (organizationalObjective ?ORG ?OVERAIM))
Government.kif 2543-2547
(=>
    (and
        (subAttribute ?ATTR1 ?ATTR2)
        (instance ?ATTR2 ?CLASS))
    (instance ?ATTR1 ?CLASS))
Merge.kif 667-671
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))
Merge.kif 660-665

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4488-4494
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4496-4502
(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))
Government.kif 4339-4341

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


(subAttribute AONOrder FinancialOrder) FinancialOntology.kif 2820-2820 AON 订单金融秩序subAttribute
(subAttribute AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing) naics.kif 3901-3901 磨料产品制造其他非金属矿产品制造subAttribute
(subAttribute AbruzzeseCuisine ItalianCuisine) Dining.kif 1471-1471 AbruzzeseCuisineItalianCuisinesubAttribute
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 315-315 绝对君主制威权政权subAttribute
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 228-228 绝对君主制帝制subAttribute
(subAttribute Accommodation AccommodationAndFoodServices) naics.kif 11482-11482 住所住宿和餐饮服务subAttribute
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices) naics.kif 9823-9823 会计税务准备簿记和工资单服务专业的科技服务subAttribute
(subAttribute ActingConsulGeneral ConsulGeneral) Government.kif 4371-4371 代理总领事总领事subAttribute
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities) naics.kif 9212-9212 与信贷中介有关的活动信贷中介及相关活动subAttribute
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry) naics.kif 9570-9570 与房地产有关的活动RealEstateIndustrysubAttribute
(subAttribute Actuary Scientist) Biography.kif 120-120 精算师ScientistsubAttribute
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing) naics.kif 3394-3394 胶粘剂制造油漆涂料和胶粘剂制造subAttribute
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12278-12278 管理空气和水资源以及固体废物管理计划管理环境品质计划subAttribute
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12287-12287 管理保护计划管理环境品质计划subAttribute
(subAttribute AdministrationOfEconomicPrograms PublicAdministration) naics.kif 12318-12318 管理经济计划公共行政subAttribute
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms) naics.kif 12240-12240 管理教育计划管理人力资源计划subAttribute
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration) naics.kif 12271-12271 管理环境品质计划公共行政subAttribute
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms) naics.kif 12324-12324 一般经济计划的管理管理经济计划subAttribute
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12302-12302 住房计划管理住房计划管理城市规划和社区发展subAttribute
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration) naics.kif 12294-12294 住房计划管理城市规划和社区发展公共行政subAttribute
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration) naics.kif 12234-12234 管理人力资源计划公共行政subAttribute
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms) naics.kif 12254-12254 除教育公共卫生和退伍军人事务计划外的人力资源计划管理管理人力资源计划subAttribute
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms) naics.kif 12247-12247 管理公共卫生计划管理人力资源计划subAttribute
(subAttribute AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopment AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12309-12309 城市规划和社区和农村发展管理住房计划管理城市规划和社区发展subAttribute
(subAttribute AdministrationOfVeteransAffairs AdministrationOfHumanResourcePrograms) naics.kif 12264-12264 管理退伍军人事务管理人力资源计划subAttribute

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 3.0 is open source software produced by Articulate Software and its partners