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 656-656 disjointRelation subAttribute and successorAttribute
(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 658-659
(domain subAttribute 1 Attribute) Merge.kif 654-654 domain subAttribute, 1 and Attribute
(domain subAttribute 2 Attribute) Merge.kif 655-655 domain subAttribute, 2 and Attribute
(instance subAttribute BinaryPredicate) Merge.kif 652-652 instance subAttribute and BinaryPredicate
(instance subAttribute PartialOrderingRelation) Merge.kif 653-653 instance subAttribute and PartialOrderingRelation

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 ChineseLanguage, subAttribute and "子属性"
(termFormat ChineseTraditionalLanguage subAttribute "子屬性") domainEnglishFormat.kif 55632-55632 termFormat ChineseTraditionalLanguage, subAttribute and "子屬性"
(termFormat EnglishLanguage subAttribute "sub attribute") domainEnglishFormat.kif 55631-55631 termFormat EnglishLanguage, subAttribute and "sub attribute"

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 668-672
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))
Merge.kif 661-666

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 AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing) naics.kif 3901-3901 subAttribute AbrasiveProductManufacturing and OtherNonmetallicMineralProductManufacturing
(subAttribute AbruzzeseCuisine ItalianCuisine) Dining.kif 1471-1471 subAttribute AbruzzeseCuisine and ItalianCuisine
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 315-315 subAttribute AbsoluteMonarchy and AuthoritarianRegime
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 228-228 subAttribute AbsoluteMonarchy and Monarchy
(subAttribute Accommodation AccommodationAndFoodServices) naics.kif 11482-11482 subAttribute Accommodation and AccommodationAndFoodServices
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices) naics.kif 9823-9823 subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices and ProfessionalScientificAndTechnicalServices
(subAttribute ActingConsulGeneral ConsulGeneral) Government.kif 4371-4371 subAttribute ActingConsulGeneral and ConsulGeneral
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities) naics.kif 9212-9212 subAttribute ActivitiesRelatedToCreditIntermediation and CreditIntermediationAndRelatedActivities
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry) naics.kif 9570-9570 subAttribute ActivitiesRelatedToRealEstate and RealEstateIndustry
(subAttribute Actuary Scientist) Biography.kif 120-120 subAttribute Actuary and Scientist
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing) naics.kif 3394-3394 subAttribute AdhesiveManufacturing and PaintCoatingAndAdhesiveManufacturing
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12278-12278 subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms and AdministrationOfEnvironmentalQualityPrograms
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12287-12287 subAttribute AdministrationOfConservationPrograms and AdministrationOfEnvironmentalQualityPrograms
(subAttribute AdministrationOfEconomicPrograms PublicAdministration) naics.kif 12318-12318 subAttribute AdministrationOfEconomicPrograms and PublicAdministration
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms) naics.kif 12240-12240 subAttribute AdministrationOfEducationPrograms and AdministrationOfHumanResourcePrograms
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration) naics.kif 12271-12271 subAttribute AdministrationOfEnvironmentalQualityPrograms and PublicAdministration
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms) naics.kif 12324-12324 subAttribute AdministrationOfGeneralEconomicPrograms and AdministrationOfEconomicPrograms
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12302-12302 subAttribute AdministrationOfHousingPrograms and AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration) naics.kif 12294-12294 subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment and PublicAdministration
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration) naics.kif 12234-12234 subAttribute AdministrationOfHumanResourcePrograms and PublicAdministration
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms) naics.kif 12254-12254 subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms and AdministrationOfHumanResourcePrograms
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms) naics.kif 12247-12247 subAttribute AdministrationOfPublicHealthPrograms and AdministrationOfHumanResourcePrograms
(subAttribute AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopment AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12309-12309 subAttribute AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopment and AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
(subAttribute AdministrationOfVeteransAffairs AdministrationOfHumanResourcePrograms) naics.kif 12264-12264 subAttribute AdministrationOfVeteransAffairs and AdministrationOfHumanResourcePrograms
(subAttribute AdministrativeAndSupportServices AdministrativeAndSupportAndWasteManagementAndRemediationServices) naics.kif 10229-10229 subAttribute AdministrativeAndSupportServices and AdministrativeAndSupportAndWasteManagementAndRemediationServices

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