Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProteinSynthesisTool

Sigma KEE - subAttribute
subAttribute

appearance as argument number 1
-------------------------


(disjointRelation subAttribute successorAttribute) Merge.kif 705-705
(documentation subAttribute ChineseLanguage "这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。") Merge.kif 708-709
(documentation subAttribute EnglishLanguage "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.") Merge.kif 706-707
(domain subAttribute 1 Attribute) Merge.kif 703-703
(domain subAttribute 2 Attribute) Merge.kif 704-704
(instance subAttribute BinaryPredicate) Merge.kif 701-701
(instance subAttribute PartialOrderingRelation) Merge.kif 702-702

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
(format FrenchLanguage subAttribute "%1 est %n un sous-attribut de %2") french_format.kif 181-181
(format ItalianLanguage subAttribute "%1 � %n un sottoattributo di %2") relations-it.txt 270-270
(format PortugueseLanguage subAttribute "%1 e' %n um sub-atributo de %2") portuguese_format.kif 133-133
(format ar subAttribute "%1 هو %n صِفَة فَرْعِيَّة لِـ %2") arabic_format.kif 126-126
(format cz subAttribute "%1 %p{je} %n{nen�} a subattribute of %2") relations-cz.txt 194-194
(format de subAttribute "%1 ist ein teilattribut von %2") relations-de.txt 416-416
(format hi subAttribute "%1 %2 kii gauNa visheshhataa %n hai") relations-hindi.txt 307-307
(format tg subAttribute "%1 %n ay ang katangian mas tiyak ng %2") relations-tg.txt 462-462
(termFormat ChineseLanguage subAttribute "子属性") chinese_format.kif 318-318
(termFormat EnglishLanguage subAttribute "sub attribute") domainEnglishFormat.kif 9706-9706
(termFormat ar subAttribute "«صِفَة فَرْعِيَّة لِـ»") arabic_format.kif 576-576

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 718-722
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))
Merge.kif 711-716

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
(subAttribute AbruzzeseCuisine ItalianCuisine) Dining.kif 1475-1475
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 315-315
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 228-228
(subAttribute Accommodation AccommodationAndFoodServices) naics.kif 11484-11484
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices) naics.kif 9825-9825
(subAttribute ActingConsulGeneral ConsulGeneral) Government.kif 4377-4377
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities) naics.kif 9214-9214
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry) naics.kif 9572-9572
(subAttribute Actuary Scientist) Biography.kif 120-120
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing) naics.kif 3394-3394
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12280-12280
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12289-12289
(subAttribute AdministrationOfEconomicPrograms PublicAdministration) naics.kif 12320-12320
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms) naics.kif 12242-12242
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration) naics.kif 12273-12273
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms) naics.kif 12326-12326
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12304-12304
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration) naics.kif 12296-12296
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration) naics.kif 12236-12236
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms) naics.kif 12256-12256
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms) naics.kif 12249-12249
(subAttribute AdministrationOfUrbanPlanningAndCommunityAndRuralDevelopment AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12311-12311
(subAttribute AdministrationOfVeteransAffairs AdministrationOfHumanResourcePrograms) naics.kif 12266-12266
(subAttribute AdministrativeAndSupportServices AdministrativeAndSupportAndWasteManagementAndRemediationServices) naics.kif 10231-10231

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners