TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 684-684	subAttribute et successorAttribute sont disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1534-1535
No TPTP formula. May not be expressible in strict first order.	Merge.kif 686-687
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 100-101
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 117-118
No TPTP formula. May not be expressible in strict first order.	Merge.kif 682-682	Le nombre 1 argument de subAttribute est une instance de attribut
No TPTP formula. May not be expressible in strict first order.	Merge.kif 683-683	Le nombre 2 argument de subAttribute est une instance de attribut
No TPTP formula. May not be expressible in strict first order.	Merge.kif 680-680	subAttribute est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 681-681	subAttribute est une instance de relation partiellement dirig�e

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 317-317
No TPTP formula. May not be expressible in strict first order.	english_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.	french_format.kif 181-181
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 270-270
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2001-2001
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 194-194
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 416-416
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 307-307
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 201-201
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 191-191
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 462-462
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 318-318
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55691-55691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55690-55690

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4582-4590	diplomaticRepresentationType nation, position and AutonomousAgent position est un sous-attribut de DiplomaticAgent humain humain est une instance de humain humain est un citoyen de nation diplomaticRepresentativeInRole nation, humain, position and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 352-357	governmentType secteur g�opolitique and FormOfGovernment FormOfGovernment est un sous-attribut de TheocraticGovernment secteur g�opolitique est une instance de secteur g�opolitique le gouvernment de secteur g�opolitique est une instance de organisation religieuse
No TPTP formula. May not be expressible in strict first order.	Government.kif 345-350	governmentType AutonomousAgent and FormOfGovernment FormOfGovernment est un sous-attribut de TheocraticGovernment AutonomousAgent est une instance de organisation AutonomousAgent est une instance de organisation religieuse
No TPTP formula. May not be expressible in strict first order.	Government.kif 256-264	governmentType secteur g�opolitique and FormOfGovernment secteur g�opolitique est une instance de secteur g�opolitique FormOfGovernment est un sous-attribut de ParliamentaryGovernment organisation organisation est une instance de Parliament organisation est une partie de l'organization le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4621-4629	AutonomousAgent est une instance de nation AutonomousAgent est une instance de nation AutonomousAgent est une instance de humain position est un attribut de AutonomousAgent position est un sous-attribut de DiplomaticAgent representativeAgentToAgent AutonomousAgent, AutonomousAgent and AutonomousAgent diplomaticRepresentationType AutonomousAgent, position and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Government.kif 2602-2606	organizationalObjective AutonomousAgent and AreaOfConcern AreaOfConcern est un sous-attribut de AreaOfConcern organizationalObjective AutonomousAgent and AreaOfConcern
No TPTP formula. May not be expressible in strict first order.	Merge.kif 696-700	Attribut est un sous-attribut de attribut attribut est une instance de classe attribut est une instance de classe
No TPTP formula. May not be expressible in strict first order.	Merge.kif 689-694	Attribut est un sous-attribut de attribut entit� entit� a un attribute attribut entit� a un attribute attribut

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 4557-4563	diplomaticRelations secteur g�opolitique and secteur g�opolitique position position est une instance de ForeignServicePosition position est un sous-attribut de DiplomaticAgent diplomaticRepresentationType secteur g�opolitique, position and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4565-4571	diplomaticRelations secteur g�opolitique and secteur g�opolitique position position est une instance de ForeignServicePosition position est un sous-attribut de DiplomaticAgent diplomaticRepresentationType secteur g�opolitique, position and secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 4408-4410	Attribut est une instance de ForeignServicePosition attribut est un sous-attribut de DiplomaticAgent

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2899-2899	AONOrder est un sous-attribut de FinancialOrder
No TPTP formula. May not be expressible in strict first order.	naics.kif 3894-3894	AbrasiveProductManufacturing est un sous-attribut de OtherNonmetallicMineralProductManufacturing
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1524-1524	AbruzzeseCuisine est un sous-attribut de ItalianCuisine
No TPTP formula. May not be expressible in strict first order.	Government.kif 327-327	AbsoluteMonarchy est un sous-attribut de AuthoritarianRegime
No TPTP formula. May not be expressible in strict first order.	Government.kif 240-240	AbsoluteMonarchy est un sous-attribut de Monarchy
No TPTP formula. May not be expressible in strict first order.	naics.kif 11559-11559	Accommodation est un sous-attribut de AccommodationAndFoodServices
No TPTP formula. May not be expressible in strict first order.	naics.kif 9900-9900	AccountingTaxPreparationBookkeepingAndPayrollServices est un sous-attribut de ProfessionalScientificAndTechnicalServices
No TPTP formula. May not be expressible in strict first order.	Government.kif 4440-4440	ActingConsulGeneral est un sous-attribut de ConsulGeneral
No TPTP formula. May not be expressible in strict first order.	naics.kif 9289-9289	ActivitiesRelatedToCreditIntermediation est un sous-attribut de CreditIntermediationAndRelatedActivities
No TPTP formula. May not be expressible in strict first order.	naics.kif 9647-9647	ActivitiesRelatedToRealEstate est un sous-attribut de RealEstateIndustry
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18808-18808	Actor est un sous-attribut de Performer
No TPTP formula. May not be expressible in strict first order.	Biography.kif 353-353	Actuary est un sous-attribut de Scientist
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6030-6030	AcuteBronchitis est un sous-attribut de Bronchitis
No TPTP formula. May not be expressible in strict first order.	naics.kif 3387-3387	AdhesiveManufacturing est un sous-attribut de PaintCoatingAndAdhesiveManufacturing
No TPTP formula. May not be expressible in strict first order.	naics.kif 12355-12355	AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms est un sous-attribut de AdministrationOfEnvironmentalQualityPrograms
No TPTP formula. May not be expressible in strict first order.	naics.kif 12364-12364	AdministrationOfConservationPrograms est un sous-attribut de AdministrationOfEnvironmentalQualityPrograms
No TPTP formula. May not be expressible in strict first order.	naics.kif 12395-12395	AdministrationOfEconomicPrograms est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order.	naics.kif 12317-12317	AdministrationOfEducationPrograms est un sous-attribut de AdministrationOfHumanResourcePrograms
No TPTP formula. May not be expressible in strict first order.	naics.kif 12348-12348	AdministrationOfEnvironmentalQualityPrograms est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order.	naics.kif 12401-12401	AdministrationOfGeneralEconomicPrograms est un sous-attribut de AdministrationOfEconomicPrograms
No TPTP formula. May not be expressible in strict first order.	naics.kif 12379-12379	AdministrationOfHousingPrograms est un sous-attribut de AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment
No TPTP formula. May not be expressible in strict first order.	naics.kif 12371-12371	AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order.	naics.kif 12311-12311	AdministrationOfHumanResourcePrograms est un sous-attribut de PublicAdministration
No TPTP formula. May not be expressible in strict first order.	naics.kif 12331-12331	AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms est un sous-attribut de AdministrationOfHumanResourcePrograms
No TPTP formula. May not be expressible in strict first order.	naics.kif 12324-12324	AdministrationOfPublicHealthPrograms est un sous-attribut 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: