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 998-998 subAttributesuccessorAttributedisjoint では %n
(documentation subAttribute ChineseLanguage "这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。") Merge.kif 1003-1004
(documentation subAttribute EnglishLanguage "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.") Merge.kif 1000-1001
(documentation subAttribute JapaneseLanguage "2番目の引数が、最初の引数が割り当てられているす べてのものに割り当てられる、という意味である。") Merge.kif 1006-1007
(documentation subAttribute SpanishLanguage "Quiere decir que el segundo argumento puede ser atribuido a todo lo que se han sido atribuido al primer argumento.") Merge.kif 1009-1010
(domain subAttribute 1 Attribute) Merge.kif 996-996 subAttribute の数値 1 引数は 属性instance では %n
(domain subAttribute 2 Attribute) Merge.kif 997-997 subAttribute の数値 2 引数は 属性instance では %n
(instance subAttribute BinaryPredicate) Merge.kif 994-994 subAttribute2進述語instance では %n
(instance subAttribute PartialOrderingRelation) Merge.kif 995-995 subAttribute半順序関係instance では %n

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 451-451
(format JapaneseLanguage subAttribute "%1 は %2 の subattribute では %n") english_format.kif 452-452
(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 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 1020-1024
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))
Merge.kif 1013-1018

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 AbrasiveProductManufacturingOtherNonmetallicMineralProductManufacturingsubattribute では %n
(subAttribute AbruzzeseCuisine ItalianCuisine) Dining.kif 1475-1475 AbruzzeseCuisineItalianCuisinesubattribute では %n
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 315-315 AbsoluteMonarchyAuthoritarianRegimesubattribute では %n
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 228-228 AbsoluteMonarchyMonarchysubattribute では %n
(subAttribute Accommodation AccommodationAndFoodServices) naics.kif 11484-11484 AccommodationAccommodationAndFoodServicessubattribute では %n
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices) naics.kif 9825-9825 AccountingTaxPreparationBookkeepingAndPayrollServicesProfessionalScientificAndTechnicalServicessubattribute では %n
(subAttribute ActingConsulGeneral ConsulGeneral) Government.kif 4377-4377 ActingConsulGeneralConsulGeneralsubattribute では %n
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities) naics.kif 9214-9214 ActivitiesRelatedToCreditIntermediationCreditIntermediationAndRelatedActivitiessubattribute では %n
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry) naics.kif 9572-9572 ActivitiesRelatedToRealEstateRealEstateIndustrysubattribute では %n
(subAttribute Actuary Scientist) Biography.kif 120-120 ActuaryScientistsubattribute では %n
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing) naics.kif 3394-3394 AdhesiveManufacturingPaintCoatingAndAdhesiveManufacturingsubattribute では %n
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12280-12280 AdministrationOfAirAndWaterResourceAndSolidWasteManagementProgramsAdministrationOfEnvironmentalQualityProgramssubattribute では %n
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12289-12289 AdministrationOfConservationProgramsAdministrationOfEnvironmentalQualityProgramssubattribute では %n
(subAttribute AdministrationOfEconomicPrograms PublicAdministration) naics.kif 12320-12320 AdministrationOfEconomicProgramsPublicAdministrationsubattribute では %n
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms) naics.kif 12242-12242 AdministrationOfEducationProgramsAdministrationOfHumanResourceProgramssubattribute では %n
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration) naics.kif 12273-12273 AdministrationOfEnvironmentalQualityProgramsPublicAdministrationsubattribute では %n
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms) naics.kif 12326-12326 AdministrationOfGeneralEconomicProgramsAdministrationOfEconomicProgramssubattribute では %n
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12304-12304 AdministrationOfHousingProgramsAdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopmentsubattribute では %n
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration) naics.kif 12296-12296 AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopmentPublicAdministrationsubattribute では %n
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration) naics.kif 12236-12236 AdministrationOfHumanResourceProgramsPublicAdministrationsubattribute では %n
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms) naics.kif 12256-12256 AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsProgramsAdministrationOfHumanResourceProgramssubattribute では %n
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms) naics.kif 12249-12249 AdministrationOfPublicHealthProgramsAdministrationOfHumanResourceProgramssubattribute では %n
(subAttribute AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopment AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12311-12311 AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopmentAdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopmentsubattribute では %n
(subAttribute AdministrationOfVeteransAffairs AdministrationOfHumanResourcePrograms) naics.kif 12266-12266 AdministrationOfVeteransAffairsAdministrationOfHumanResourceProgramssubattribute では %n
(subAttribute AdministrativeAndSupportServices AdministrativeAndSupportAndWasteManagementAndRemediationServices) naics.kif 10231-10231 AdministrativeAndSupportServicesAdministrativeAndSupportAndWasteManagementAndRemediationServicessubattribute では %n

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