TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1929-1931
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2726-2730
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 556-559
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2723-2723	O argumento numero 1 de inScopeOfInterest e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2724-2724	O argumento numero 2 de inScopeOfInterest e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2721-2721	inScopeOfInterest e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2722-2722	inScopeOfInterest e' uma instancia de IntentionalRelation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 133-133
No TPTP formula. May not be expressible in strict first order.	english_format.kif 134-134
No TPTP formula. May not be expressible in strict first order.	french_format.kif 88-88
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 148-148
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1915-1915
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 40-40
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 94-94
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 160-160
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 187-187
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 107-107
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 87-87
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 300-300
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26931-26931	approves e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2809-2809	believes e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2799-2799	considers e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2786-2786	desires e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7437-7437	disapproves e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7421-7421	dislikes e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2451-2451	enemy e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7366-7366	enjoys e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2824-2824	knows e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2750-2750	needs e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2844-2844	says e' uma sub-relacao de inScopeOfInterest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2763-2763	wants e' uma sub-relacao de inScopeOfInterest

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18342-18357	Organizacao e' igual a DepartmentOfFn Organizacao and Fisico Organizacao2 e' uma parte da organizacao Organizacao Organizacao e' igual a Organizacao2 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 Entidade2 e' igual a a probabilidade de Entidade e' um agente de Organizacao2 Numero Real e' maior que Entidade2
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2740-2746	Agente Cognitivo esta' interessado em Entidade Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2659-2663	crossFunctionalTeamFocus Entidade and CrossFunctionalTeam Agente Cognitivo e' membro de CrossFunctionalTeam Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 2371-2377	Agente Cognitivo e' uma instancia de PoliticalPressureGroup organizationalObjective Agente Cognitivo and AreaOfConcern AutonomousAgent e' uma instancia de GovernmentOrganization organizationalObjective AutonomousAgent and AreaOfConcern Agente Cognitivo esta' interessado em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1270-1278	Colecao e' uma instancia de GroupOfPeople Agente Cognitivo e' membro de Colecao Fisico e' membro de Colecao Fisico e' uma instancia de HumanBaby Agente Cognitivo e' uma instancia de HumanAdult Entidade e' uma instancia de Crib Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2732-2738	Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo Entidade e' um patient de Processo Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2677-2682	Entidade e' uma instancia de IntentionalRelation Entidade Agente Cognitivo and @ROW Entidade e' um membro de (@ROW) Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 501-517	Entidade_COLL e' uma instancia de Colecao Entidade_COLL e' uma instancia de Colecao Experimenting e' uma instancia de Experimenting Agente Cognitivo e' uma instancia de Agente Cognitivo Experimenting e' um agente de Agente Cognitivo statisticalPopulation Entidade_COLL, Entidade_COLL and Experimenting Atributo Atributo e' uma instancia de Atributo Entidade_COLL tem um atributo de Atributo Agente Cognitivo esta' interessado em Atributo Atributo e' igual a RepresentativeSample Entidade_COLL tem um atributo de Atributo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1596-1603	Processo e' uma instancia de WatchItem Agente Cognitivo e' uma instancia de AutonomousAgent Entidade e' uma instancia de Objeto Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26170-26177	HandicappedFriendly e' um atributo de Objeto Atributo Agente Cognitivo Atributo e' uma instancia de Disability Agente Cognitivo e' uma instancia de Humano Atributo e' um atributo de Agente Cognitivo Agente Cognitivo esta' interessado em Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2572-2577	businessUnit Organizacao and Business Entidade Entidade e' uma instancia de Entidade Organizacao esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18333-18340	Organizacao e' igual a DepartmentOfFn Organizacao and Fisico Processo Entidade Processo e' um agente de Organizacao Entidade e' uma instancia de Fisico Organizacao esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2618-2628	Colecao e' uma instancia de CrossFunctionalTeam Entidade Entidade e' uma instancia de Entidade Agente Cognitivo Agente Cognitivo e' uma instancia de Humano Agente Cognitivo e' membro de Colecao Agente Cognitivo esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2630-2643	Colecao e' uma instancia de CrossFunctionalTeam Processo AutonomousAgent, AutonomousAgent and Entidade Processo e' uma sub-classe de Processo AutonomousAgent e' uma instancia de Humano AutonomousAgent e' uma instancia de Humano AutonomousAgent e' membro de Colecao AutonomousAgent e' membro de Colecao AutonomousAgent tem a capacidade de fazer Processo AutonomousAgent tem a capacidade de fazer Processo Entidade e' uma instancia de Processo Colecao esta' interessado em Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2215-2224	Fisico e' uma instancia de DataWarehouse Fisico tem por fim Entidade Entidade e' uma instancia de AutonomousAgent Entidade Entidade esta' interessado em Entidade Entidade e' um componente de Fisico
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26483-26489	Entidade e' uma instancia de GrabBar o argumento Entidade PhysicalDisability e' um atributo de Entidade Entidade esta' interessado em Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26989-26995	Entidade e' uma instancia de SecurityUnit o argumento Entidade Entidade e' uma instancia de SurveillanceSystem Entidade esta' interessado em Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Dining.kif 810-817	potentialCustomer Agente Cognitivo and AutonomousAgent Entidade Processo Processo e' uma instancia de Vender Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Agente Cognitivo esta' interessado em Entidade

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.

Government.kif 3537-3537

InternationalHydrographicOrganization esta' interessado em WorldOcean

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: