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 16745-16748
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16743-16743	O argumento numero 1 de subOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16744-16744	O argumento numero 2 de subOrganization e' uma instancia de Organizacao
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16742-16742	subOrganization e' uma instancia de Relacao parcialmente Ordenada
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16741-16741	subOrganization e' uma sub-relacao de subCollection

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24170-24170	ancestorOrganization e subOrganization sao disjuntos
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 e' uma sub-relacao 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 e' um atributo de Organizacao legislativeBranch Organizacao and Area Geopolitica Organizacao e' uma instancia de LegislativeChamber Organizacao e' uma parte da organizacao o governo de Area Geopolitica Organizacao e' uma instancia de LegislativeChamber Organizacao e' uma parte da organizacao o governo de Area Geopolitica Organizacao e' igual a Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4511-4519	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Organizacao e' uma instancia de DiplomaticOrganization Organizacao e' uma parte da organizacao o governo de Area Geopolitica Humano ocupa a posicao de Posicao Organizacao AutonomousAgent e' uma instancia de Area Geopolitica agentOperatesInArea Organizacao and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18343-18358	Organizacao e' igual a DepartmentOfFn Organizacao and Fisico Organizacao e' uma parte da organizacao Organizacao Organizacao e' igual a Organizacao Entidade e' uma instancia de Fisico Organizacao esta' interessado em Entidade Numero Real e' igual a a probabilidade de Entidade e' um agente de Organizacao Entidade e' igual a a probabilidade de Entidade e' um agente de Organizacao Numero Real e' maior que Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18401-18406	Organizacao e' igual a DepartmentOfPreventingFn Organizacao and Fisico Fisico e' uma sub-classe de Processo Organizacao e' uma parte da organizacao Organizacao Organizacao inhibe Fisico
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	executiveBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	Organizacao e' uma instancia de GovernmentCabinet Organizacao e' uma parte da organizacao o governo de Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao tem por fim Entidade Entidade Entidade e' uma instancia de Declarar Entidade e' um agente de Organizacao Entidade e' um patient de Entidade leader Entidade and o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2191-2196	Organizacao e' uma instancia de SupremeCourt Organizacao e' uma parte da organizacao o governo de Area Geopolitica Area Geopolitica e' uma instancia de Nacao Organizacao e' uma instancia de SupremeCourtFn Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16691-16695	Organizacao e' uma instancia de Governo Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 371-376	Organizacao e' uma instancia de JointForces Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de AirForce leaderPosition Organizacao and JointForcesAirCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 393-398	Organizacao e' uma instancia de JointForces Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de Army leaderPosition Organizacao and JointForcesLandCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 425-430	Organizacao e' uma instancia de JointForces Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de CoastGuard leaderPosition Organizacao and JointForcesMaritimeCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 417-422	Organizacao e' uma instancia de JointForces Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de NavyBranchOfService leaderPosition Organizacao and JointForcesMaritimeCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 446-451	Organizacao e' uma instancia de JointForces Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de SpecialOperationsForces leaderPosition Organizacao and JointForcesSpecialOperationsCommander
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1751-1757	Organizacao e' uma instancia de JointForces Organizacao e' uma parte da organizacao Organizacao leaderPosition Organizacao and Posicao leaderPosition Organizacao and OrganizacaoCOMMANDER subordinatePosition Organizacao, Posicao and OrganizacaoCOMMANDER
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1736-1746	Organizacao e' uma instancia de JointForces Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao Organizacao Organizacao e' igual a Organizacao leaderPosition Organizacao and OrganizacaoCOMMANDER leaderPosition Organizacao and OrganizacaoCOMMANDER leaderPosition Organizacao and OrganizacaoCOMMANDER
No TPTP formula. May not be expressible in strict first order.	Government.kif 2085-2090	Organizacao e' uma instancia de JudicialOrganization Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Government.kif 1930-1935	Organizacao e' uma instancia de LegislativeOrganization Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de GovernmentOrganization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8526-8536	Organizacao e' uma instancia de SecurityUnit Organizacao e' uma parte da organizacao Organizacao Organizacao e' obrigado a executar tarefas de tipo Entidade Entidade e' uma instancia de Preservar Entidade e' um agente de Organizacao Organizacao e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 2130-2135	judicialBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16697-16701	Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de GovernmentOrganization

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 108-115	Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de Governo Organizacao Organizacao e' uma instancia de Governo Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4648-4657	diplomaticOrganizationType Area Geopolitica, Organizacao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao AutonomousAgent e' uma instancia de Area Geopolitica Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' situado em AutonomousAgent Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 4658-4667	diplomaticOrganizationType Organizacao, Organizacao and AutonomousAgent Organizacao e' uma instancia de Organizacao AutonomousAgent e' uma instancia de Area Geopolitica Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' situado em AutonomousAgent Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 4470-4478	diplomaticRepresentativeInRole Area Geopolitica, Humano, Posicao and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Organizacao Organizacao e' uma instancia de DiplomaticOrganization Organizacao e' uma parte da organizacao o governo de Area Geopolitica Humano ocupa a posicao de Posicao Organizacao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	Objeto e' um elemento de propriedade de Organizacao AnnexRoom e' um atributo de Objeto Objeto e' uma instancia de HotelRoom Objeto Objeto and Organizacao Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de HotelFrontDesk Organizacao e' situado em Objeto Objeto e' um elemento de propriedade de Organizacao Objeto e' um elemento de propriedade de Organizacao Objeto e' uma &parte de Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Government.kif 1313-1318	executiveBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1307-1311	executiveBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 1301-1305	executiveBranch Organizacao and Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2609-2623	Processo e' uma instancia de Evacuation Processo e' um agente de Organizacao AutonomousAgent experimenta Processo Processo ProcessoA Processo e' uma instancia de Classificar Processo e' um sub-processo de Processo AutonomousAgent experimenta Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2627-2643	Processo e' uma instancia de Evacuation Processo e' um agente de Organizacao Processo tem como origem Objeto Processo ProcessoA Processo e' uma instancia de Translocation Processo e' um sub-processo de Processo Processo tem como origem Objeto ProcessoA experimenta Processo Processo e' um agente de ProcessoA ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2591-2605	Processo e' uma instancia de Evacuation AutonomousAgent experimenta Processo Processo e' um agente de Organizacao Processo ProcessoA Processo e' uma instancia de Processo Terapeutico Processo e' um sub-processo de Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA AutonomousAgent experimenta Processo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	Processo e' uma instancia de Evacuation Processo tem como origem Objeto Processo e' um agente de Organizacao Processo ProcessoA Processo e' uma instancia de Preservar eventLocated Processo and Objeto Processo e' um sub-processo de Processo ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2554-2569	Processo e' uma instancia de Evacuation Processo tem como origem Objeto Processo e' um agente de Organizacao Processo ProcessoA Processo e' uma instancia de Transporte Processo termina em Objeto ProcessoA e' uma parte da organizacao Organizacao ProcessoA e' membro de Organizacao ProcessoA e' igual a Organizacao Processo e' um agente de ProcessoA ProcessoA e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16305-16324	Processo e' uma instancia de OrganizationalMerging Entidade e' um patient de Processo Entidade e' um patient de Processo Entidade e' igual a Entidade Entidade Entidade e' uma parte da organizacao Entidade Entidade e' uma parte da organizacao Entidade vale durante o comeco de tempo de existencia de Processo Entidade Entidade e' uma parte da organizacao Entidade Entidade e' uma parte da organizacao Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Government.kif 2130-2135	judicialBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2124-2128	judicialBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Government.kif 2118-2122	judicialBranch Organizacao and Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2023-2027	legislativeBranch Organizacao and Organizacao Organizacao e' uma instancia de Organizacao Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	Government.kif 2029-2033	legislativeBranch Organizacao and Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica Organizacao e' uma parte da organizacao o governo de Area Geopolitica
No TPTP formula. May not be expressible in strict first order.	Military.kif 693-700	subEchelon MilitaryUnit and MilitaryUnit Organizacao e' uma instancia de MilitaryUnit Organizacao Organizacao e' uma instancia de MilitaryUnit Organizacao e' uma parte da organizacao Organizacao
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	Objeto Representendo Conteudo Abstrato e' uma sub-classe de JointPublication ContentBearingPhysical e' uma instancia de Objeto Representendo Conteudo Abstrato ContentBearingPhysical contem informacao Formula AutonomousAgent e' o autor de Objeto Representendo Conteudo Abstrato Organizacao Organizacao e' uma parte da organizacao USMilitary AutonomousAgent obriga Organizacao a executar tarefas de tipo Formula
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 712-724	ExpeditionaryForce e' um atributo de Objeto Objeto tem por fim Entidade Entidade and Entidade Objeto e' uma parte da organizacao o governo de Entidade Entidade e' uma instancia de Batalha Entidade e' um agente de Objeto Entidade e' uma instancia de Nacao Entidade e' situado em Entidade Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2559-2561	businessUnit Organizacao and Business Organizacao e' uma parte da organizacao Business
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8427-8435	hostileForces MilitaryUnit and MilitaryUnit Contest Area Geopolitica and Area Geopolitica Contest e' uma instancia de Guerra contestParticipant Contest and Area Geopolitica contestParticipant Contest and Area Geopolitica MilitaryUnit e' uma parte da organizacao o governo de Area Geopolitica MilitaryUnit e' uma parte da organizacao o governo de Area Geopolitica

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 e' uma parte da organizacao CVS
No TPTP formula. May not be expressible in strict first order.	Government.kif 3077-3077	CommissionForSocialDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3079-3079	CommissionOnCrimePreventionAndCriminalJustice e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3081-3081	CommissionOnHumanRights e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3083-3083	CommissionOnNarcoticsDrugs e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3085-3085	CommissionOnPopulationAndDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3087-3087	CommissionOnScienceAndTechnologyForDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3089-3089	CommissionOnSustainableDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3091-3091	CommissionOnTheStatusOfWomen e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 4828-4828	DepartmentOfHomelandSecurity e' uma parte da organizacao o governo de UnitedStates
No TPTP formula. May not be expressible in strict first order.	Government.kif 3093-3093	EconomicAndSocialCommissionForAsiaAndThePacific e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3095-3095	EconomicAndSocialCommissionForWesternAsia e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3076-3076	EconomicAndSocialCouncil e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3097-3097	EconomicCommissionForAfrica e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3099-3099	EconomicCommissionForEurope e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3101-3101	EconomicCommissionForLatinAmericaAndTheCaribbean e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4472-4472	FitbitCompany e' uma parte da organizacao Google
No TPTP formula. May not be expressible in strict first order.	Government.kif 3103-3103	FoodAndAgricultureOrganization e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 17-17	GoogleCorporation e' uma parte da organizacao AlphabetCorporation
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4503-4503	HoldenCorporation e' uma parte da organizacao GeneralMotorsCorp
No TPTP formula. May not be expressible in strict first order.	Government.kif 3104-3104	InternationalAtomicEnergyAgency e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3105-3105	InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao EconomicAndSocialCouncil
No TPTP formula. May not be expressible in strict first order.	Government.kif 3416-3416	InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao UnitedNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4319-4319	InternationalBankForReconstructionAndDevelopment e' uma parte da organizacao WorldBankGroup
No TPTP formula. May not be expressible in strict first order.	Government.kif 3106-3106	InternationalCenterForSecretariatOfInvestmentDisputes e' uma parte da organizacao 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: