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 655-655
(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
(domain subAttribute 2 Attribute) Merge.kif 654-654
(instance subAttribute BinaryPredicate) Merge.kif 651-651
(instance subAttribute PartialOrderingRelation) Merge.kif 652-652

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

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