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 717-717 sub attribute and successor attribute are disjoint
(documentation subAttribute ChineseLanguage "这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。") Merge.kif 720-721
(documentation subAttribute EnglishLanguage "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.") Merge.kif 718-719
(domain subAttribute 1 Attribute) Merge.kif 715-715 The number 1 argument of sub attribute is an instance of attribute
(domain subAttribute 2 Attribute) Merge.kif 716-716 The number 2 argument of sub attribute is an instance of attribute
(instance subAttribute BinaryPredicate) Merge.kif 713-713 sub attribute is an instance of binary predicate
(instance subAttribute PartialOrderingRelation) Merge.kif 714-714 sub attribute is an instance of partial ordering relation

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 191-191
(termFormat ChineseLanguage subAttribute "子属性") chinese_format.kif 318-318 "子属性" is the printable form of sub attribute in ChineseLanguage
(termFormat EnglishLanguage subAttribute "sub attribute") domainEnglishFormat.kif 9706-9706 "sub attribute" is the printable form of sub attribute in english language

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 4519-4527
(=>
    (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 4558-4566
(=>
    (and
        (organizationalObjective ?ORG ?AIM)
        (subAttribute ?AIM ?OVERAIM))
    (organizationalObjective ?ORG ?OVERAIM))
Government.kif 2549-2553
(=>
    (and
        (subAttribute ?ATTR1 ?ATTR2)
        (instance ?ATTR2 ?CLASS))
    (instance ?ATTR1 ?CLASS))
Merge.kif 730-734
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))
Merge.kif 723-728

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4494-4500
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4502-4508
(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))
Government.kif 4345-4347

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


(subAttribute AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing) naics.kif 3901-3901 Abrasive product manufacturing is a subattribute of other nonmetallic mineral product manufacturing
(subAttribute AbruzzeseCuisine ItalianCuisine) Dining.kif 1475-1475 Abruzzese Cuisine is a subattribute of Italian Cuisine
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 315-315 Absolute monarchy is a subattribute of authoritarian regime
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 228-228 Absolute monarchy is a subattribute of monarchy
(subAttribute Accommodation AccommodationAndFoodServices) naics.kif 11484-11484 Accommodation is a subattribute of accommodation and food services
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices) naics.kif 9825-9825 Accounting tax preparation bookkeeping and payroll services is a subattribute of professional scientific and technical services
(subAttribute ActingConsulGeneral ConsulGeneral) Government.kif 4377-4377 Acting consul general is a subattribute of consul general
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities) naics.kif 9214-9214 Activities related to credit intermediation is a subattribute of credit intermediation and related activities
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry) naics.kif 9572-9572 Activities related to real estate is a subattribute of RealEstateIndustry
(subAttribute Actuary Scientist) Biography.kif 120-120 Actuary is a subattribute of Scientist
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing) naics.kif 3394-3394 Adhesive manufacturing is a subattribute of paint coating and adhesive manufacturing
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12280-12280 Administration of air and water resource and solid waste management programs is a subattribute of administration of environmental quality programs
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12289-12289 Administration of conservation programs is a subattribute of administration of environmental quality programs
(subAttribute AdministrationOfEconomicPrograms PublicAdministration) naics.kif 12320-12320 Administration of economic programs is a subattribute of public administration
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms) naics.kif 12242-12242 Administration of education programs is a subattribute of administration of human resource programs
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration) naics.kif 12273-12273 Administration of environmental quality programs is a subattribute of public administration
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms) naics.kif 12326-12326 Administration of general economic programs is a subattribute of administration of economic programs
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12304-12304 Administration of housing programs is a subattribute of administration of housing programs urban planning and community development
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration) naics.kif 12296-12296 Administration of housing programs urban planning and community development is a subattribute of public administration
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration) naics.kif 12236-12236 Administration of human resource programs is a subattribute of public administration
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms) naics.kif 12256-12256 Administration of human resource programs except education public health and veterans affairs programs is a subattribute of administration of human resource programs
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms) naics.kif 12249-12249 Administration of public health programs is a subattribute of administration of human resource programs
(subAttribute AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopment AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12311-12311 Administration of urban planning and community and rural development is a subattribute of administration of housing programs urban planning and community development
(subAttribute AdministrationOfVeteransAffairs AdministrationOfHumanResourcePrograms) naics.kif 12266-12266 Administration of veterans affairs is a subattribute of administration of human resource programs
(subAttribute AdministrativeAndSupportServices AdministrativeAndSupportAndWasteManagementAndRemediationServices) naics.kif 10231-10231 Administrative and support services is a subattribute of administrative and support and waste management and remediation services

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