subAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(disjointRelation subAttribute successorAttribute)	Merge.kif 677-677	subAttribute and successorAttribute are disjoint
(documentation subAttribute ChineseLanguage "这意思是第二个参数的属性可以归因于所有第一个参数所归因的属性。")	chinese_format.kif 1534-1535	subAttribute and successorAttribute are disjoint
(documentation subAttribute EnglishLanguage "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.")	Merge.kif 679-680	subAttribute and successorAttribute are disjoint
(documentation subAttribute JapaneseLanguage "2番目の引数が、最初の引数が割り当てられているすべてのものに割り当てられる、という意味である。")	japanese_format.kif 100-101	subAttribute and successorAttribute are disjoint
(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	subAttribute and successorAttribute are disjoint
(domain subAttribute 1 Attribute)	Merge.kif 675-675	The number 1 argument of subAttribute is an instance of attribute
(domain subAttribute 2 Attribute)	Merge.kif 676-676	The number 2 argument of subAttribute is an instance of attribute
(instance subAttribute BinaryPredicate)	Merge.kif 673-673	subAttribute is an instance of binary predicate
(instance subAttribute PartialOrderingRelation)	Merge.kif 674-674	subAttribute 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 55695-55695
(termFormat EnglishLanguage subAttribute "sub attribute")	domainEnglishFormat.kif 55694-55694
(termFormat de subAttribute "teilAttribut")	terms-de.txt 132-132

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 4543-4551	If diplomaticRepresentationType a nation, a position and an agent and the position is a subattribute of DiplomaticAgent, then there exists a human such that the human is an instance of human and the human is a citizen of the nation and diplomaticRepresentativeInRole the nation, the human, the position and the agent
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization))	Government.kif 352-357	If governmentType a geopolitical area and a FormOfGovernment and the FormOfGovernment is a subattribute of TheocraticGovernment 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 governmentType an agent and a FormOfGovernment and the FormOfGovernment is a subattribute of TheocraticGovernment 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 governmentType a geopolitical area and a FormOfGovernment and the geopolitical area is an instance of geopolitical area and the FormOfGovernment is a subattribute of ParliamentaryGovernment, 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 4582-4590	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 DiplomaticAgent and representativeAgentToAgent the agent, the third agent and the other agent, then diplomaticRepresentationType the agent, the position and the other agent
(=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM))	Government.kif 2563-2567	If organizationalObjective an agent and an AreaOfConcern and the AreaOfConcern is a subattribute of another AreaOfConcern, then organizationalObjective the agent and the other AreaOfConcern
(=> (and (subAttribute ?ATTR1 ?ATTR2) (instance ?ATTR2 ?CLASS)) (instance ?ATTR1 ?CLASS))	Merge.kif 689-693	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 682-687	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 4518-4524	If diplomaticRelations a geopolitical area and another geopolitical area, then there exists a position such that the position is an instance of ForeignServicePosition and the position is a subattribute of DiplomaticAgent and diplomaticRepresentationType the geopolitical area, the position and the other geopolitical area
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))	Government.kif 4526-4532	If diplomaticRelations a geopolitical area and another geopolitical area, then there exists a position such that the position is an instance of ForeignServicePosition and the position is a subattribute of DiplomaticAgent and diplomaticRepresentationType the other geopolitical area, the position and the geopolitical area
(=> (equal ?A2 (ProfessionalFn ?A1)) (subAttribute ?A2 ?A1))	Mid-level-ontology.kif 9443-9445	If equal an OccupationalRole and ProfessionalFn a social role, then the OccupationalRole is a subattribute of the social role
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent))	Government.kif 4369-4371	If an attribute is an instance of ForeignServicePosition, then the attribute is a subattribute of DiplomaticAgent

appearance as argument number 0

(subAttribute AONOrder FinancialOrder)	FinancialOntology.kif 2916-2916	AONOrder is a subattribute of FinancialOrder
(subAttribute AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing)	naics.kif 3894-3894	AbrasiveProductManufacturing is a subattribute of OtherNonmetallicMineralProductManufacturing
(subAttribute AbruzzeseCuisine ItalianCuisine)	Dining.kif 1524-1524	AbruzzeseCuisine is a subattribute of ItalianCuisine
(subAttribute AbsoluteMonarchy AuthoritarianRegime)	Government.kif 327-327	AbsoluteMonarchy is a subattribute of AuthoritarianRegime
(subAttribute AbsoluteMonarchy Monarchy)	Government.kif 240-240	AbsoluteMonarchy is a subattribute of Monarchy
(subAttribute Accommodation AccommodationAndFoodServices)	naics.kif 11559-11559	Accommodation is a subattribute of AccommodationAndFoodServices
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices)	naics.kif 9900-9900	AccountingTaxPreparationBookkeepingAndPayrollServices is a subattribute of ProfessionalScientificAndTechnicalServices
(subAttribute ActingConsulGeneral ConsulGeneral)	Government.kif 4401-4401	ActingConsulGeneral is a subattribute of ConsulGeneral
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities)	naics.kif 9289-9289	ActivitiesRelatedToCreditIntermediation is a subattribute of CreditIntermediationAndRelatedActivities
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry)	naics.kif 9647-9647	ActivitiesRelatedToRealEstate is a subattribute of RealEstateIndustry
(subAttribute Actor Performer)	Mid-level-ontology.kif 20365-20365	Actor is a subattribute of Performer
(subAttribute Actuary Scientist)	Biography.kif 361-361	Actuary is a subattribute of Scientist
(subAttribute AcuteBronchitis Bronchitis)	Mid-level-ontology.kif 6963-6963	AcuteBronchitis is a subattribute of Bronchitis
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing)	naics.kif 3387-3387	AdhesiveManufacturing is a subattribute of PaintCoatingAndAdhesiveManufacturing
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms)	naics.kif 12355-12355	AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms is a subattribute of AdministrationOfEnvironmentalQualityPrograms
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms)	naics.kif 12364-12364	AdministrationOfConservationPrograms is a subattribute of AdministrationOfEnvironmentalQualityPrograms
(subAttribute AdministrationOfEconomicPrograms PublicAdministration)	naics.kif 12395-12395	AdministrationOfEconomicPrograms is a subattribute of PublicAdministration
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms)	naics.kif 12317-12317	AdministrationOfEducationPrograms is a subattribute of AdministrationOfHumanResourcePrograms
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration)	naics.kif 12348-12348	AdministrationOfEnvironmentalQualityPrograms is a subattribute of PublicAdministration
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms)	naics.kif 12401-12401	AdministrationOfGeneralEconomicPrograms is a subattribute of AdministrationOfEconomicPrograms
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment)	naics.kif 12379-12379	AdministrationOfHousingPrograms is a subattribute of AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration)	naics.kif 12371-12371	AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment is a subattribute of PublicAdministration
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration)	naics.kif 12311-12311	AdministrationOfHumanResourcePrograms is a subattribute of PublicAdministration
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms)	naics.kif 12331-12331	AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms is a subattribute of AdministrationOfHumanResourcePrograms
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms)	naics.kif 12324-12324	AdministrationOfPublicHealthPrograms is a subattribute of 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

KB Term:			Term intersection

English Word: