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 16767-16770
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16765-16765	Le nombre 1 argument de subOrganization est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16766-16766	Le nombre 2 argument de subOrganization est une instance de organisation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16764-16764	subOrganization est une instance de relation partiellement dirig�e
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16763-16763	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 24169-24169	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 2060-2060	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 55764-55764
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55763-55763
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55762-55762

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1977-1985	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 4511-4519	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 18342-18357	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 18400-18405	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 1313-1318	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 1513-1524	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 2191-2196	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 16713-16717	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 2085-2090	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 1930-1935	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 8525-8535	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 2130-2135	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 16719-16723	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 4648-4657	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 4658-4667	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 4470-4478	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 1313-1318	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 1307-1311	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 1301-1305	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 16304-16323	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 2130-2135	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 2124-2128	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 2118-2122	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 2023-2027	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 2029-2033	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 8426-8434	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 3077-3077	CommissionForSocialDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3079-3079	CommissionOnCrimePreventionAndCriminalJustice est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3081-3081	CommissionOnHumanRights est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3083-3083	CommissionOnNarcoticsDrugs est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3085-3085	CommissionOnPopulationAndDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3087-3087	CommissionOnScienceAndTechnologyForDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3089-3089	CommissionOnSustainableDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3091-3091	CommissionOnTheStatusOfWomen est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4828-4828	DepartmentOfHomelandSecurity est une partie de l'organization le gouvernment de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 3093-3093	EconomicAndSocialCommissionForAsiaAndThePacific est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3095-3095	EconomicAndSocialCommissionForWesternAsia est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3076-3076	EconomicAndSocialCouncil est une partie de l'organization UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3097-3097	EconomicCommissionForAfrica est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3099-3099	EconomicCommissionForEurope est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3101-3101	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 3103-3103	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 4511-4511	HoldenCorporation est une partie de l'organization GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order.	Government.kif 3104-3104	InternationalAtomicEnergyAgency est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3105-3105	InternationalBankForReconstructionAndDevelopment est une partie de l'organization EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3416-3416	InternationalBankForReconstructionAndDevelopment est une partie de l'organization UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4319-4319	InternationalBankForReconstructionAndDevelopment est une partie de l'organization WorldBankGroup
No TPTP formula. May not be expressible in strict first order.	Government.kif 3106-3106	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: