subAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(disjointRelation subAttribute successorAttribute)	Merge.kif 684-684	sub attribute and successor attribute are disjoint
(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 686-687
(documentation subAttribute JapaneseLanguage "2番目の引数が、最初の引数が割り当てられているすべてのものに割り当てられる、という意味である。")	japanese_format.kif 100-101
(documentation subAttribute SpanishLanguage "Quiere decir que el segundo argumento puede ser atribuido a todo lo que se han sido atribuido al primer argumento.")	spanish_format.kif 117-118
(domain subAttribute 1 Attribute)	Merge.kif 682-682	The number 1 argument of sub attribute is an instance of attribute
(domain subAttribute 2 Attribute)	Merge.kif 683-683	The number 2 argument of sub attribute is an instance of attribute
(instance subAttribute BinaryPredicate)	Merge.kif 680-680	sub attribute is an instance of binary predicate
(instance subAttribute PartialOrderingRelation)	Merge.kif 681-681	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 322-322
(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 JapaneseLanguage subAttribute "%1 は %2 の subattribute では %n")	japanese_format.kif 2001-2001
(format PortugueseLanguage subAttribute "%1 e' %n um sub-atributo de %2")	portuguese_format.kif 133-133
(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 ro subAttribute "%1 %n{nu} este un subattribute%t{subatribut} al lui %2")	relations-ro.kif 201-201
(format sv subAttribute "%1 är %n{inte} ett underattribut till %2")	relations-sv.txt 191-191
(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 ChineseTraditionalLanguage subAttribute "子屬性")	domainEnglishFormat.kif 55712-55712
(termFormat EnglishLanguage subAttribute "sub attribute")	domainEnglishFormat.kif 55711-55711

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	If a nation diplomatic representation type a position for an agent and the position is a subattribute of diplomatic agent, then there exists a human such that the human is an instance of human and the human is a citizen of the nation and the nation is diplomatic representative in role the human for the position with the agent
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization))	Government.kif 352-357	If a form of government is a government type of a geopolitical area and the form of government is a subattribute of theocratic government and the geopolitical area is an instance of geopolitical area, then the government of the geopolitical area is an instance of religious organization
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization))	Government.kif 345-350	If a form of government is a government type of an agent and the form of government is a subattribute of theocratic government and the agent is an instance of organization, then the agent is an instance of religious organization
(=> (and (governmentType ?PLACE ?TYPE) (instance ?PLACE GeopoliticalArea) (subAttribute ?TYPE ParliamentaryGovernment)) (exists (?ORG) (and (instance ?ORG Parliament) (subOrganization ?ORG (GovernmentFn ?PLACE)))))	Government.kif 256-264	If a form of government is a government type of a geopolitical area and the geopolitical area is an instance of geopolitical area and the form of government is a subattribute of parliamentary government, then there exists an organization such that the organization is an instance of parliament and the organization is a part of the organization the government of the geopolitical area
(=> (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	If an agent is an instance of nation and another agent is an instance of nation and a third agent is an instance of human and a position is an attribute of the third agent and the position is a subattribute of diplomatic agent and the agent is representative agent to agent the third agent for the other agent, then the agent diplomatic representation type the position for the other agent
(=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM))	Government.kif 2602-2606	If an area of concern is an organizational objective of an agent and the area of concern is a subattribute of another area of concern, then the other area of concern is an organizational objective of the agent
(=> (and (subAttribute ?ATTR1 ?ATTR2) (instance ?ATTR2 ?CLASS)) (instance ?ATTR1 ?CLASS))	Merge.kif 696-700	If an attribute is a subattribute of another attribute and the other attribute is an instance of a class, then the attribute is an instance of the class
(=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (property ?OBJ ?ATTR1) (property ?OBJ ?ATTR2))))	Merge.kif 689-694	If an attribute is a subattribute of another attribute, then for all an entity if the entity the attribute the attribute, then the entity the attribute the other attribute

consequent

(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))	Government.kif 4557-4563	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the other geopolitical area diplomatic representation type the position for the geopolitical area
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))	Government.kif 4565-4571	If a geopolitical area is a diplomatic relations of another geopolitical area, then there exists a position such that the position is an instance of foreign service position and the position is a subattribute of diplomatic agent and the geopolitical area diplomatic representation type the position for the other geopolitical area
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent))	Government.kif 4408-4410	If an attribute is an instance of foreign service position, then the attribute is a subattribute of diplomatic agent

appearance as argument number 0

(subAttribute AONOrder FinancialOrder)	FinancialOntology.kif 2912-2912	AON order is a subattribute of financial order
(subAttribute AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing)	naics.kif 3894-3894	Abrasive product manufacturing is a subattribute of other nonmetallic mineral product manufacturing
(subAttribute AbruzzeseCuisine ItalianCuisine)	Dining.kif 1524-1524	Abruzzese Cuisine is a subattribute of Italian Cuisine
(subAttribute AbsoluteMonarchy AuthoritarianRegime)	Government.kif 327-327	Absolute monarchy is a subattribute of authoritarian regime
(subAttribute AbsoluteMonarchy Monarchy)	Government.kif 240-240	Absolute monarchy is a subattribute of monarchy
(subAttribute Accommodation AccommodationAndFoodServices)	naics.kif 11559-11559	Accommodation is a subattribute of accommodation and food services
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices)	naics.kif 9900-9900	Accounting tax preparation bookkeeping and payroll services is a subattribute of professional scientific and technical services
(subAttribute ActingConsulGeneral ConsulGeneral)	Government.kif 4440-4440	Acting consul general is a subattribute of consul general
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities)	naics.kif 9289-9289	Activities related to credit intermediation is a subattribute of credit intermediation and related activities
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry)	naics.kif 9647-9647	Activities related to real estate is a subattribute of real estate industry
(subAttribute Actor Performer)	Mid-level-ontology.kif 18641-18641	Actor is a subattribute of performer
(subAttribute Actuary Scientist)	Biography.kif 353-353	Actuary is a subattribute of scientist
(subAttribute AcuteBronchitis Bronchitis)	Mid-level-ontology.kif 5997-5997	Acute bronchitis is a subattribute of bronchitis
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing)	naics.kif 3387-3387	Adhesive manufacturing is a subattribute of paint coating and adhesive manufacturing
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms 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
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms)	naics.kif 12364-12364	Administration of conservation programs is a subattribute of administration of environmental quality programs
(subAttribute AdministrationOfEconomicPrograms PublicAdministration)	naics.kif 12395-12395	Administration of economic programs is a subattribute of public administration
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms)	naics.kif 12317-12317	Administration of education programs is a subattribute of administration of human resource programs
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration)	naics.kif 12348-12348	Administration of environmental quality programs is a subattribute of public administration
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms)	naics.kif 12401-12401	Administration of general economic programs is a subattribute of administration of economic programs
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment)	naics.kif 12379-12379	Administration of housing programs is a subattribute of administration of housing programs urban planning and community development
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration)	naics.kif 12371-12371	Administration of housing programs urban planning and community development is a subattribute of public administration
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration)	naics.kif 12311-12311	Administration of human resource programs is a subattribute of public administration
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms 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
(subAttribute AdministrationOfPublicHealthPrograms 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

KB Term:			Term intersection

English Word: