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 675-675 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 677-678
(domain subAttribute 1 Attribute) Merge.kif 673-673 domain subAttribute, 1 and Attribute
(domain subAttribute 2 Attribute) Merge.kif 674-674 domain subAttribute, 2 and Attribute
(instance subAttribute BinaryPredicate) Merge.kif 671-671 instance subAttribute and BinaryPredicate
(instance subAttribute PartialOrderingRelation) Merge.kif 672-672 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 322-322
(termFormat ChineseLanguage subAttribute "子属性") chinese_format.kif 318-318
(termFormat ChineseTraditionalLanguage subAttribute "子屬性") domainEnglishFormat.kif 55677-55677
(termFormat EnglishLanguage subAttribute "sub attribute") domainEnglishFormat.kif 55676-55676

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 4582-4590
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))
Government.kif 352-357
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))
Government.kif 345-350
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))
Government.kif 256-264
(=>
    (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 4621-4629
(=>
    (and
        (organizationalObjective ?ORG ?AIM)
        (subAttribute ?AIM ?OVERAIM))
    (organizationalObjective ?ORG ?OVERAIM))
Government.kif 2602-2606
(=>
    (and
        (subAttribute ?ATTR1 ?ATTR2)
        (instance ?ATTR2 ?CLASS))
    (instance ?ATTR1 ?CLASS))
Merge.kif 687-691
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))
Merge.kif 680-685

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


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))
Government.kif 4557-4563
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))
Government.kif 4565-4571
(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))
Government.kif 4408-4410

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


(subAttribute AONOrder FinancialOrder) FinancialOntology.kif 2911-2911 subAttribute AONOrder and FinancialOrder
(subAttribute AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing) naics.kif 3894-3894 subAttribute AbrasiveProductManufacturing and OtherNonmetallicMineralProductManufacturing
(subAttribute AbruzzeseCuisine ItalianCuisine) Dining.kif 1524-1524 subAttribute AbruzzeseCuisine and ItalianCuisine
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 327-327 subAttribute AbsoluteMonarchy and AuthoritarianRegime
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 240-240 subAttribute AbsoluteMonarchy and Monarchy
(subAttribute Accommodation AccommodationAndFoodServices) naics.kif 11559-11559 subAttribute Accommodation and AccommodationAndFoodServices
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices) naics.kif 9900-9900 subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices and ProfessionalScientificAndTechnicalServices
(subAttribute ActingConsulGeneral ConsulGeneral) Government.kif 4440-4440 subAttribute ActingConsulGeneral and ConsulGeneral
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities) naics.kif 9289-9289 subAttribute ActivitiesRelatedToCreditIntermediation and CreditIntermediationAndRelatedActivities
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry) naics.kif 9647-9647 subAttribute ActivitiesRelatedToRealEstate and RealEstateIndustry
(subAttribute Actor Performer) Mid-level-ontology.kif 18603-18603 subAttribute Actor and Performer
(subAttribute Actuary Scientist) Biography.kif 120-120 subAttribute Actuary and Scientist
(subAttribute AcuteBronchitis Bronchitis) Mid-level-ontology.kif 5987-5987 subAttribute AcuteBronchitis and Bronchitis
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing) naics.kif 3387-3387 subAttribute AdhesiveManufacturing and PaintCoatingAndAdhesiveManufacturing
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12355-12355 subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms and AdministrationOfEnvironmentalQualityPrograms
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12364-12364 subAttribute AdministrationOfConservationPrograms and AdministrationOfEnvironmentalQualityPrograms
(subAttribute AdministrationOfEconomicPrograms PublicAdministration) naics.kif 12395-12395 subAttribute AdministrationOfEconomicPrograms and PublicAdministration
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms) naics.kif 12317-12317 subAttribute AdministrationOfEducationPrograms and AdministrationOfHumanResourcePrograms
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration) naics.kif 12348-12348 subAttribute AdministrationOfEnvironmentalQualityPrograms and PublicAdministration
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms) naics.kif 12401-12401 subAttribute AdministrationOfGeneralEconomicPrograms and AdministrationOfEconomicPrograms
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12379-12379 subAttribute AdministrationOfHousingPrograms and AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration) naics.kif 12371-12371 subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment and PublicAdministration
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration) naics.kif 12311-12311 subAttribute AdministrationOfHumanResourcePrograms and PublicAdministration
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms) naics.kif 12331-12331 subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms and AdministrationOfHumanResourcePrograms
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms) naics.kif 12324-12324 subAttribute AdministrationOfPublicHealthPrograms and AdministrationOfHumanResourcePrograms

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