TreeView Knowledge Base Browser

appearance as argument number 1

(disjointRelation subAttribute successorAttribute)	Merge.kif 684-684	subAttribute e successorAttribute sao disjuntos
(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	O argumento numero 1 de subAttribute e' uma instancia de Atributo
(domain subAttribute 2 Attribute)	Merge.kif 683-683	O argumento numero 2 de subAttribute e' uma instancia de Atributo
(instance subAttribute BinaryPredicate)	Merge.kif 680-680	subAttribute e' uma instancia de Predicado Binario
(instance subAttribute PartialOrderingRelation)	Merge.kif 681-681	subAttribute e' uma instancia de Relacao parcialmente Ordenada

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 55691-55691
(termFormat EnglishLanguage subAttribute "sub attribute")	domainEnglishFormat.kif 55690-55690

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	diplomaticRepresentationType Nacao, Posicao and AutonomousAgent Posicao e' um sub-atributo de DiplomaticAgent Humano Humano e' uma instancia de Humano Humano e' um cidadao de Nacao diplomaticRepresentativeInRole Nacao, Humano, Posicao and AutonomousAgent
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT GeopoliticalArea)) (instance (GovernmentFn ?AGENT) ReligiousOrganization))	Government.kif 352-357	governmentType Area Geopolitica and FormOfGovernment FormOfGovernment e' um sub-atributo de TheocraticGovernment Area Geopolitica e' uma instancia de Area Geopolitica o governo de Area Geopolitica e' uma instancia de Organizacao Religiosa
(=> (and (governmentType ?AGENT ?TYPE) (subAttribute ?TYPE TheocraticGovernment) (instance ?AGENT Organization)) (instance ?AGENT ReligiousOrganization))	Government.kif 345-350	governmentType AutonomousAgent and FormOfGovernment FormOfGovernment e' um sub-atributo de TheocraticGovernment AutonomousAgent e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Organizacao Religiosa
(=> (and (governmentType ?PLACE ?TYPE) (instance ?PLACE GeopoliticalArea) (subAttribute ?TYPE ParliamentaryGovernment)) (exists (?ORG) (and (instance ?ORG Parliament) (subOrganization ?ORG (GovernmentFn ?PLACE)))))	Government.kif 256-264	governmentType Area Geopolitica and FormOfGovernment Area Geopolitica e' uma instancia de Area Geopolitica FormOfGovernment e' um sub-atributo de ParliamentaryGovernment Organizacao Organizacao e' uma instancia de Parliament Organizacao e' uma parte da organizacao o governo de Area Geopolitica
(=> (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	AutonomousAgent e' uma instancia de Nacao AutonomousAgent e' uma instancia de Nacao AutonomousAgent e' uma instancia de Humano Posicao e' um atributo de AutonomousAgent Posicao e' um sub-atributo de DiplomaticAgent representativeAgentToAgent AutonomousAgent, AutonomousAgent and AutonomousAgent diplomaticRepresentationType AutonomousAgent, Posicao and AutonomousAgent
(=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM))	Government.kif 2602-2606	organizationalObjective AutonomousAgent and AreaOfConcern AreaOfConcern e' um sub-atributo de AreaOfConcern organizationalObjective AutonomousAgent and AreaOfConcern
(=> (and (subAttribute ?ATTR1 ?ATTR2) (instance ?ATTR2 ?CLASS)) (instance ?ATTR1 ?CLASS))	Merge.kif 696-700	Atributo e' um sub-atributo de Atributo Atributo e' uma instancia de Classe Atributo e' uma instancia de Classe
(=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (property ?OBJ ?ATTR1) (property ?OBJ ?ATTR2))))	Merge.kif 689-694	Atributo e' um sub-atributo de Atributo Entidade Entidade tem um atributo de Atributo Entidade tem um atributo de Atributo

consequent

(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))	Government.kif 4557-4563	diplomaticRelations Area Geopolitica and Area Geopolitica Posicao Posicao e' uma instancia de ForeignServicePosition Posicao e' um sub-atributo de DiplomaticAgent diplomaticRepresentationType Area Geopolitica, Posicao and Area Geopolitica
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))	Government.kif 4565-4571	diplomaticRelations Area Geopolitica and Area Geopolitica Posicao Posicao e' uma instancia de ForeignServicePosition Posicao e' um sub-atributo de DiplomaticAgent diplomaticRepresentationType Area Geopolitica, Posicao and Area Geopolitica
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent))	Government.kif 4408-4410	Atributo e' uma instancia de ForeignServicePosition Atributo e' um sub-atributo de DiplomaticAgent

appearance as argument number 0

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

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)

KB Term:			Term intersection

English Word: