TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3751-3753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16816-16819
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16814-16814	Le nombre 1 argument de subOrganization est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16815-16815	Le nombre 2 argument de subOrganization est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16813-16813	subOrganization est une instance de relation partiellement dirig�e
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16812-16812	subOrganization est une sous-relation de subCollection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24227-24227	ancestorOrganization et subOrganization sont disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 810-810
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 549-549
No TPTP formula. May not be expressible in strict first order.	english_format.kif 554-554
No TPTP formula. May not be expressible in strict first order.	english_format.kif 823-823
No TPTP formula. May not be expressible in strict first order.	french_format.kif 322-322
No TPTP formula. May not be expressible in strict first order.	french_format.kif 486-486
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2090-2090
No TPTP formula. May not be expressible in strict first order.	english_format.kif 824-824
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 274-274
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 438-438
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 343-343
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 508-508
No TPTP formula. May not be expressible in strict first order.	Government.kif 2024-2024	chamberOfLegislature est une sous-relation de subOrganization
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 550-550
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55766-55766
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55765-55765
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55764-55764

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1941-1949	UnicameralLegislature est un attribut de organisation legislativeBranch organisation and secteur g�opolitique organisation est une instance de LegislativeChamber organisation est une partie de l'organization le gouvernment de secteur g�opolitique organisation est une instance de LegislativeChamber organisation est une partie de l'organization le gouvernment de secteur g�opolitique organisation est organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4475-4483	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation AutonomousAgent est une instance de secteur g�opolitique agentOperatesInArea organisation and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18370-18385	Organisation est DepartmentOfFn organisation and physique organisation2 est une partie de l'organization organisation organisation est organisation2 entit� est une instance de physique organisation est interess� par entit� nombre r�el est probabilit� de entit� est un agent de organisation entit�2 est probabilit� de entit� est un agent de organisation2 nombre r�el est plus grand que entit�2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18428-18433	Organisation est DepartmentOfPreventingFn organisation and physique physique est une sous-classe de processus organisation est une partie de l'organization organisation organisation inhibe physique
No TPTP formula. May not be expressible in strict first order.	Government.kif 1277-1282	executiveBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation est une partie de l'organization organisation 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 1477-1488	Organisation est une instance de GovernmentCabinet organisation est une partie de l'organization le gouvernment de secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation a pour but entit� entit� entit� est une instance de d�clarer entit� est un agent de organisation entit� est un patient de entit� leader entit� and le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Government.kif 2155-2160	Organisation est une instance de SupremeCourt organisation est une partie de l'organization le gouvernment de secteur g�opolitique secteur g�opolitique est une instance de nation organisation est une instance de SupremeCourtFn secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16762-16766	Organisation est une instance de gouvernement organisation est une partie de l'organization organisation organisation est une instance de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 371-376	Organisation est une instance de JointForces organisation est une partie de l'organization organisation organisation est une instance de AirForce leaderPosition organisation and JointForcesAirCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 393-398	Organisation est une instance de JointForces organisation est une partie de l'organization organisation organisation est une instance de Army leaderPosition organisation and JointForcesLandCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 425-430	Organisation est une instance de JointForces organisation est une partie de l'organization organisation organisation est une instance de CoastGuard leaderPosition organisation and JointForcesMaritimeCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 417-422	Organisation est une instance de JointForces organisation est une partie de l'organization organisation organisation est une instance de NavyBranchOfService leaderPosition organisation and JointForcesMaritimeCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 446-451	Organisation est une instance de JointForces organisation est une partie de l'organization organisation organisation est une instance de SpecialOperationsForces leaderPosition organisation and JointForcesSpecialOperationsCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1751-1757	Organisation est une instance de JointForces organisation est une partie de l'organization organisation leaderPosition organisation and position leaderPosition organisation and organisationCOMMANDER subordinatePosition organisation, position and organisationCOMMANDER
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1736-1746	Organisation est une instance de JointForces organisation est une partie de l'organization organisation organisation est une partie de l'organization organisation organisation est organisation leaderPosition organisation and organisationCOMMANDER leaderPosition organisation and organisationCOMMANDER leaderPosition organisation and organisationCOMMANDER
No TPTP formula. May not be expressible in strict first order.	Government.kif 2049-2054	Organisation est une instance de JudicialOrganization organisation est une partie de l'organization organisation organisation est une instance de GovernmentOrganization organisation est une instance de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1894-1899	Organisation est une instance de LegislativeOrganization organisation est une partie de l'organization organisation organisation est une instance de GovernmentOrganization organisation est une instance de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8553-8563	Organisation est une instance de SecurityUnit organisation est une partie de l'organization organisation organisation est oblig� d'ex�cut� des t�ches du type entit� entit� est une instance de maintenir entit� est un agent de organisation organisation est un patient de entit�
No TPTP formula. May not be expressible in strict first order.	Government.kif 2094-2099	judicialBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation est une partie de l'organization organisation organisation est une partie de l'organization le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16768-16772	Organisation est une partie de l'organization organisation organisation est une instance de GovernmentOrganization organisation est une instance de GovernmentOrganization

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 108-115	Organisation est une instance de GovernmentOrganization organisation est une instance de gouvernement organisation organisation est une instance de gouvernement organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4612-4621	diplomaticOrganizationType secteur g�opolitique, organisation and AutonomousAgent secteur g�opolitique est une instance de nation AutonomousAgent est une instance de secteur g�opolitique organisation organisation est une instance de organisation organisation est situ� � AutonomousAgent 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 4622-4631	diplomaticOrganizationType organisation, organisation and AutonomousAgent organisation est une instance de organisation AutonomousAgent est une instance de secteur g�opolitique organisation organisation est une instance de organisation organisation est situ� � AutonomousAgent organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 4434-4442	diplomaticRepresentativeInRole secteur g�opolitique, humain, position and AutonomousAgent secteur g�opolitique est une instance de nation organisation organisation est une instance de DiplomaticOrganization organisation est une partie de l'organization le gouvernment de secteur g�opolitique humain occupe la position de position organisation
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	Objet est un appartenir � organisation AnnexRoom est un attribut de objet objet est une instance de HotelRoom objet objet and organisation organisation est une partie de l'organization organisation organisation est une instance de HotelFrontDesk organisation est situ� � objet objet est un appartenir � organisation objet est un appartenir � organisation objet est une partie de objet objet est objet
No TPTP formula. May not be expressible in strict first order.	Government.kif 1277-1282	executiveBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation est une partie de l'organization organisation 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 1271-1275	executiveBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique 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 1265-1269	executiveBranch organisation and organisation organisation est une instance de organisation organisation est une partie de l'organization organisation
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.	MilitaryProcesses.kif 2609-2623	Processus est une instance de Evacuation processus est un agent de organisation AutonomousAgent exp�rimente processus processus processusA processus est une instance de classifier processus est un sous-processus de processus AutonomousAgent exp�rimente processus processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation processus est un agent de processusA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	Processus est une instance de Evacuation processus est un agent de organisation processus a pour origine objet processus processusA processus est une instance de Translocation processus est un sous-processus de processus processus a pour origine objet processusA exp�rimente processus processus est un agent de processusA processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	Processus est une instance de Evacuation AutonomousAgent exp�rimente processus processus est un agent de organisation processus processusA processus est une instance de processus therapeutique processus est un sous-processus de processus processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation processus est un agent de processusA AutonomousAgent exp�rimente processus
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	Processus est une instance de Evacuation processus a pour origine objet processus est un agent de organisation processus processusA processus est une instance de maintenir eventLocated processus and objet processus est un sous-processus de processus processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation processus est un agent de processusA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	Processus est une instance de Evacuation processus a pour origine objet processus est un agent de organisation processus processusA processus est une instance de transporter processus aboutit � objet processusA est une partie de l'organization organisation processusA est un membre de organisation processusA est organisation processus est un agent de processusA processusA est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16332-16351	Processus est une instance de OrganizationalMerging entit� est un patient de processus entit� est un patient de processus entit� est entit� entit� entit� est une partie de l'organization entit� entit� est une partie de l'organization entit� pendant le d�but de temps d'existence de processus entit� entit� est une partie de l'organization entit� entit� est une partie de l'organization entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Government.kif 2094-2099	judicialBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation est une partie de l'organization organisation 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 2088-2092	judicialBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique 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 2082-2086	judicialBranch organisation and organisation organisation est une instance de organisation organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1987-1991	legislativeBranch organisation and organisation organisation est une instance de organisation organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	Government.kif 1993-1997	legislativeBranch organisation and secteur g�opolitique secteur g�opolitique est une instance de secteur g�opolitique organisation est une partie de l'organization le gouvernment de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Military.kif 693-700	subEchelon MilitaryUnit and MilitaryUnit organisation est une instance de MilitaryUnit organisation organisation est une instance de MilitaryUnit organisation est une partie de l'organization organisation
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	Objet exprimant un sens est une sous-classe de JointPublication ContentBearingPhysical est une instance de objet exprimant un sens ContentBearingPhysical contient information formule AutonomousAgent est l' auteur de objet exprimant un sens organisation organisation est une partie de l'organization USMilitary AutonomousAgent oblige organisation � ex�cut� des t�ches du type formule
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 712-724	ExpeditionaryForce est un attribut de objet objet a pour but entit� entit� and entit� objet est une partie de l'organization le gouvernment de entit� entit� est une instance de bataille entit� est un agent de objet entit� est une instance de nation entit� est situ� � entit� entit� est entit�
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2559-2561	businessUnit organisation and Business organisation est une partie de l'organization Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8454-8462	hostileForces MilitaryUnit and MilitaryUnit affrontement secteur g�opolitique and secteur g�opolitique affrontement est une instance de guerre contestParticipant affrontement and secteur g�opolitique contestParticipant affrontement and secteur g�opolitique MilitaryUnit est une partie de l'organization le gouvernment de secteur g�opolitique MilitaryUnit est une partie de l'organization le gouvernment de secteur g�opolitique

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5558-5558	Aetna est une partie de l'organization CVS
No TPTP formula. May not be expressible in strict first order.	Government.kif 3041-3041	CommissionForSocialDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3043-3043	CommissionOnCrimePreventionAndCriminalJustice est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3045-3045	CommissionOnHumanRights est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3047-3047	CommissionOnNarcoticsDrugs est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3049-3049	CommissionOnPopulationAndDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3051-3051	CommissionOnScienceAndTechnologyForDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3053-3053	CommissionOnSustainableDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3055-3055	CommissionOnTheStatusOfWomen est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4792-4792	DepartmentOfHomelandSecurity est une partie de l'organization le gouvernment de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 3057-3057	EconomicAndSocialCommissionForAsiaAndThePacific est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3059-3059	EconomicAndSocialCommissionForWesternAsia est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3040-3040	EconomicAndSocialCouncil est une partie de l'organization UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3061-3061	EconomicCommissionForAfrica est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3063-3063	EconomicCommissionForEurope est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3065-3065	EconomicCommissionForLatinAmericaAndTheCaribbean est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4472-4472	FitbitCompany est une partie de l'organization Google
No TPTP formula. May not be expressible in strict first order.	Government.kif 3067-3067	FoodAndAgricultureOrganization est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 17-17	GoogleCorporation est une partie de l'organization AlphabetCorporation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4488-4488	HoldenCorporation est une partie de l'organization GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order.	Government.kif 3068-3068	InternationalAtomicEnergyAgency est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3069-3069	InternationalBankForReconstructionAndDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3380-3380	InternationalBankForReconstructionAndDevelopment est une partie de l'organization UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4283-4283	InternationalBankForReconstructionAndDevelopment est une partie de l'organization WorldBankGroup
No TPTP formula. May not be expressible in strict first order.	Government.kif 3070-3070	InternationalCenterForSecretariatOfInvestmentDisputes est une partie de l'organization EconomicAndSocialCouncil

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: