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
-------------------------


s__disjointRelation(s__subAttribute__m,s__successorAttribute__m)

Merge.kif 656-656 sub attribute and successor attribute are disjoint
s__documentation(s__subAttribute__m,s__ChineseLanguage,'"这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。"')

chinese_format.kif 1534-1535
s__documentation(s__subAttribute__m,s__EnglishLanguage,'"Means that the second argument can be ascribed to everything which has the first argument ascribed to it."')

Merge.kif 658-659
s__domain(s__subAttribute__m,n__1,s__Attribute)

Merge.kif 654-654 The number 1 argument of sub attribute is an instance of attribute
s__domain(s__subAttribute__m,n__2,s__Attribute)

Merge.kif 655-655 The number 2 argument of sub attribute is an instance of attribute
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__subAttribute__m,s__BinaryPredicate)

Merge.kif 652-652 sub attribute is an instance of binary predicate
s__instance(s__PartialOrderingRelation,s__Class)

s__instance(s__subAttribute__m,s__PartialOrderingRelation)

Merge.kif 653-653 sub attribute is an instance of partial ordering relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__subAttribute__m,'"%1 %n 是 %2 的 subAttribute"')

chinese_format.kif 317-317
s__format(s__EnglishLanguage,s__subAttribute__m,'"%1 is %n a subattribute of %2"')

english_format.kif 322-322
s__termFormat(s__ChineseLanguage,s__subAttribute__m,'"子属性"')

chinese_format.kif 318-318
s__termFormat(s__ChineseTraditionalLanguage,s__subAttribute__m,'"子屬性"')

domainEnglishFormat.kif 55670-55670
s__termFormat(s__EnglishLanguage,s__subAttribute__m,'"sub attribute"')

domainEnglishFormat.kif 55669-55669

antecedent
-------------------------


( ! [V__COUNTRY1,V__ROLE,V__COUNTRY2] :
   (((s__instance(V__COUNTRY1,s__Nation) &
         s__instance(V__ROLE,s__Position) &
         s__instance(V__COUNTRY2,s__Agent))
       =>
       (((s__diplomaticRepresentationType(V__COUNTRY1,V__ROLE,V__COUNTRY2)
           &
           s__subAttribute(V__ROLE,s__DiplomaticAgent))
         =>
         (( ? [V__PERSON] :
             ((s__instance(V__PERSON,s__Human) &
                 s__citizen(V__PERSON,V__COUNTRY1)
               &
               s__diplomaticRepresentativeInRole(V__COUNTRY1,V__PERSON,V__ROLE,V__COUNTRY2))))))))
)
)

Government.kif 4558-4566
( ! [V__AGENT,V__TYPE] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__governmentType(V__AGENT,V__TYPE)
           &
           s__subAttribute(V__TYPE,s__TheocraticGovernment) &
           s__instance(V__AGENT,s__GeopoliticalArea))
         =>
         (s__instance(s__GovernmentFn(V__AGENT)
        ,s__ReligiousOrganization)))))
)
)

Government.kif 340-345
( ! [V__AGENT,V__TYPE] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__governmentType(V__AGENT,V__TYPE)
           &
           s__subAttribute(V__TYPE,s__TheocraticGovernment) &
           s__instance(V__AGENT,s__Organization))
         =>
         (s__instance(V__AGENT,s__ReligiousOrganization)))))
   )
)

Government.kif 333-338
( ! [V__PLACE,V__TYPE] :
   ((s__instance(V__TYPE,s__FormOfGovernment) =>
       (((s__governmentType(V__PLACE,V__TYPE)
           &
           s__instance(V__PLACE,s__GeopoliticalArea) &
           s__subAttribute(V__TYPE,s__ParliamentaryGovernment))
         =>
         (( ? [V__ORG] :
             ((s__instance(V__ORG,s__Parliament) &
                 s__subOrganization(V__ORG,s__GovernmentFn(V__PLACE)))))))))
)
)

Government.kif 244-252
( ! [V__RECEIVER,V__ROLE,V__PERSON,V__SENDER] :
   ((s__instance(V__ROLE,s__Position) =>
       (((s__instance(V__SENDER,s__Nation) &
             s__instance(V__RECEIVER,s__Nation) &
             s__instance(V__PERSON,s__Human) &
             s__attribute(V__PERSON,V__ROLE)
           &
           s__subAttribute(V__ROLE,s__DiplomaticAgent) &
           s__representativeAgentToAgent(V__SENDER,V__PERSON,V__RECEIVER))
       =>
       (s__diplomaticRepresentationType(V__SENDER,V__ROLE,V__RECEIVER)))))
)
)

Government.kif 4597-4605
( ! [V__ORG,V__AIM,V__OVERAIM] :
   (((s__instance(V__ORG,s__Agent) &
         s__instance(V__AIM,s__AreaOfConcern) &
         s__instance(V__OVERAIM,s__AreaOfConcern))
       =>
       (((s__organizationalObjective(V__ORG,V__AIM)
           &
           s__subAttribute(V__AIM,V__OVERAIM))
       =>
       (s__organizationalObjective(V__ORG,V__OVERAIM)))))
)
)

Government.kif 2588-2592
( ! [V__CLASS,V__ATTR1,V__ATTR2] :
   (((s__instance(V__CLASS,s__Class) &
         s__instance(V__ATTR1,s__Attribute) &
         s__instance(V__ATTR2,s__Attribute))
       =>
       (((s__subAttribute(V__ATTR1,V__ATTR2)
           &
           s__instance(V__ATTR2,V__CLASS))
       =>
       (s__instance(V__ATTR1,V__CLASS)))))
)
)

Merge.kif 668-672
( ! [V__ATTR1,V__ATTR2] :
   (((s__instance(V__ATTR1,s__Attribute) &
         s__instance(V__ATTR2,s__Attribute))
       =>
       ((s__subAttribute(V__ATTR1,V__ATTR2)
         =>
         (( ! [V__OBJ] :
             ((s__property(V__OBJ,V__ATTR1)
               =>
               (s__property(V__OBJ,V__ATTR2)))))))))
)
)

Merge.kif 661-666

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


( ! [V__COUNTRY1,V__COUNTRY2] :
   (((s__instance(V__COUNTRY1,s__GeopoliticalArea) &
         s__instance(V__COUNTRY2,s__GeopoliticalArea))
       =>
       ((s__diplomaticRelations(V__COUNTRY1,V__COUNTRY2)
         =>
         (( ? [V__ROLE] :
             ((s__instance(V__ROLE,s__ForeignServicePosition) &
                 s__subAttribute(V__ROLE,s__DiplomaticAgent) &
                 s__diplomaticRepresentationType(V__COUNTRY1,V__ROLE,V__COUNTRY2))))))))
)
)

Government.kif 4533-4539
( ! [V__COUNTRY1,V__COUNTRY2] :
   (((s__instance(V__COUNTRY1,s__GeopoliticalArea) &
         s__instance(V__COUNTRY2,s__GeopoliticalArea))
       =>
       ((s__diplomaticRelations(V__COUNTRY1,V__COUNTRY2)
         =>
         (( ? [V__ROLE] :
             ((s__instance(V__ROLE,s__ForeignServicePosition) &
                 s__subAttribute(V__ROLE,s__DiplomaticAgent) &
                 s__diplomaticRepresentationType(V__COUNTRY2,V__ROLE,V__COUNTRY1))))))))
)
)

Government.kif 4541-4547
( ! [V__ROLE] :
   ((s__instance(V__ROLE,s__ForeignServicePosition) =>
       (s__subAttribute(V__ROLE,s__DiplomaticAgent)))
     )
   )

Government.kif 4384-4386

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


s__subAttribute(s__AONOrder,s__FinancialOrder)

FinancialOntology.kif 2860-2860 AON order is a subattribute of financial order
s__subAttribute(s__AbrasiveProductManufacturing,s__OtherNonmetallicMineralProductManufacturing)

naics.kif 3894-3894 Abrasive product manufacturing is a subattribute of other nonmetallic mineral product manufacturing
s__subAttribute(s__AbruzzeseCuisine,s__ItalianCuisine)

Dining.kif 1477-1477 Abruzzese Cuisine is a subattribute of Italian Cuisine
s__subAttribute(s__AbsoluteMonarchy,s__AuthoritarianRegime)

Government.kif 315-315 Absolute monarchy is a subattribute of authoritarian regime
s__subAttribute(s__AbsoluteMonarchy,s__Monarchy)

Government.kif 228-228 Absolute monarchy is a subattribute of monarchy
s__subAttribute(s__Accommodation,s__AccommodationAndFoodServices)

naics.kif 11559-11559 Accommodation is a subattribute of accommodation and food services
s__subAttribute(s__AccountingTaxPreparationBookkeepingAndPayrollServices,s__ProfessionalScientificAndTechnicalServices)

naics.kif 9900-9900 Accounting tax preparation bookkeeping and payroll services is a subattribute of professional scientific and technical services
s__subAttribute(s__ActingConsulGeneral,s__ConsulGeneral)

Government.kif 4416-4416 Acting consul general is a subattribute of consul general
s__subAttribute(s__ActivitiesRelatedToCreditIntermediation,s__CreditIntermediationAndRelatedActivities)

naics.kif 9289-9289 Activities related to credit intermediation is a subattribute of credit intermediation and related activities
s__subAttribute(s__ActivitiesRelatedToRealEstate,s__RealEstateIndustry)

naics.kif 9647-9647 Activities related to real estate is a subattribute of RealEstateIndustry
s__subAttribute(s__Actor,s__Performer)

Mid-level-ontology.kif 18014-18014 Actor is a subattribute of Performer
s__subAttribute(s__Actuary,s__Scientist)

Biography.kif 120-120 Actuary is a subattribute of Scientist
s__subAttribute(s__AcuteBronchitis,s__Bronchitis)

Mid-level-ontology.kif 5687-5687 AcuteBronchitis is a subattribute of bronchitis
s__subAttribute(s__AdhesiveManufacturing,s__PaintCoatingAndAdhesiveManufacturing)

naics.kif 3387-3387 Adhesive manufacturing is a subattribute of paint coating and adhesive manufacturing
s__subAttribute(s__AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms,s__AdministrationOfEnvironmentalQualityPrograms)

naics.kif 12355-12355 Administration of air and water resource and solid waste management programs is a subattribute of administration of environmental quality programs
s__subAttribute(s__AdministrationOfConservationPrograms,s__AdministrationOfEnvironmentalQualityPrograms)

naics.kif 12364-12364 Administration of conservation programs is a subattribute of administration of environmental quality programs
s__subAttribute(s__AdministrationOfEconomicPrograms,s__PublicAdministration)

naics.kif 12395-12395 Administration of economic programs is a subattribute of public administration
s__subAttribute(s__AdministrationOfEducationPrograms,s__AdministrationOfHumanResourcePrograms)

naics.kif 12317-12317 Administration of education programs is a subattribute of administration of human resource programs
s__subAttribute(s__AdministrationOfEnvironmentalQualityPrograms,s__PublicAdministration)

naics.kif 12348-12348 Administration of environmental quality programs is a subattribute of public administration
s__subAttribute(s__AdministrationOfGeneralEconomicPrograms,s__AdministrationOfEconomicPrograms)

naics.kif 12401-12401 Administration of general economic programs is a subattribute of administration of economic programs
s__subAttribute(s__AdministrationOfHousingPrograms,s__AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment)

naics.kif 12379-12379 Administration of housing programs is a subattribute of administration of housing programs urban planning and community development
s__subAttribute(s__AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment,s__PublicAdministration)

naics.kif 12371-12371 Administration of housing programs urban planning and community development is a subattribute of public administration
s__subAttribute(s__AdministrationOfHumanResourcePrograms,s__PublicAdministration)

naics.kif 12311-12311 Administration of human resource programs is a subattribute of public administration
s__subAttribute(s__AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms,s__AdministrationOfHumanResourcePrograms)

naics.kif 12331-12331 Administration of human resource programs except education public health and veterans affairs programs is a subattribute of administration of human resource programs
s__subAttribute(s__AdministrationOfPublicHealthPrograms,s__AdministrationOfHumanResourcePrograms)

naics.kif 12324-12324 Administration of public health programs is a subattribute of administration of human resource programs

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