TreeView Knowledge Base Browser

appearance as argument number 1

(disjointRelation subAttribute successorAttribute)	Merge.kif 656-656
(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 658-659
(domain subAttribute 1 Attribute)	Merge.kif 654-654
(domain subAttribute 2 Attribute)	Merge.kif 655-655
(instance subAttribute BinaryPredicate)	Merge.kif 652-652
(instance subAttribute PartialOrderingRelation)	Merge.kif 653-653

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
(termFormat ChineseLanguage subAttribute "子属性")	chinese_format.kif 318-318
(termFormat ChineseTraditionalLanguage subAttribute "子屬性")	domainEnglishFormat.kif 55670-55670
(termFormat EnglishLanguage subAttribute "sub attribute")	domainEnglishFormat.kif 55669-55669

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 4558-4566
(=> (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 4597-4605
(=> (and (organizationalObjective ?ORG ?AIM) (subAttribute ?AIM ?OVERAIM)) (organizationalObjective ?ORG ?OVERAIM))	Government.kif 2588-2592
(=> (and (subAttribute ?ATTR1 ?ATTR2) (instance ?ATTR2 ?CLASS)) (instance ?ATTR1 ?CLASS))	Merge.kif 668-672
(=> (subAttribute ?ATTR1 ?ATTR2) (forall (?OBJ) (=> (property ?OBJ ?ATTR1) (property ?OBJ ?ATTR2))))	Merge.kif 661-666

consequent

(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))	Government.kif 4533-4539
(=> (diplomaticRelations ?COUNTRY1 ?COUNTRY2) (exists (?ROLE) (and (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent) (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))	Government.kif 4541-4547
(=> (instance ?ROLE ForeignServicePosition) (subAttribute ?ROLE DiplomaticAgent))	Government.kif 4384-4386

appearance as argument number 0

(subAttribute AONOrder FinancialOrder)	FinancialOntology.kif 2860-2860
(subAttribute AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing)	naics.kif 3894-3894
(subAttribute AbruzzeseCuisine ItalianCuisine)	Dining.kif 1477-1477
(subAttribute AbsoluteMonarchy AuthoritarianRegime)	Government.kif 315-315
(subAttribute AbsoluteMonarchy Monarchy)	Government.kif 228-228
(subAttribute Accommodation AccommodationAndFoodServices)	naics.kif 11559-11559
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices)	naics.kif 9900-9900
(subAttribute ActingConsulGeneral ConsulGeneral)	Government.kif 4416-4416
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities)	naics.kif 9289-9289
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry)	naics.kif 9647-9647
(subAttribute Actor Performer)	Mid-level-ontology.kif 18014-18014
(subAttribute Actuary Scientist)	Biography.kif 120-120
(subAttribute AcuteBronchitis Bronchitis)	Mid-level-ontology.kif 5687-5687
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing)	naics.kif 3387-3387
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms)	naics.kif 12355-12355
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms)	naics.kif 12364-12364
(subAttribute AdministrationOfEconomicPrograms PublicAdministration)	naics.kif 12395-12395
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms)	naics.kif 12317-12317
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration)	naics.kif 12348-12348
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms)	naics.kif 12401-12401
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment)	naics.kif 12379-12379
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration)	naics.kif 12371-12371
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration)	naics.kif 12311-12311
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms)	naics.kif 12331-12331
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms)	naics.kif 12324-12324

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: