TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1689-1692
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1578-1584
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 282-286
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1576-1576	Agente Cognitivo e' uma sub-classe de Agente Sentiente

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 655-655	Deity e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14644-14644	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 850-850
No TPTP formula. May not be expressible in strict first order.	english_format.kif 902-902
No TPTP formula. May not be expressible in strict first order.	french_format.kif 526-526
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 57-57
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 60-60
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2211-2211
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 478-478
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 93-93
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 547-547
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 61-61

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 845-845	O argumento numero 1 de MusicalInterpretationFn e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 886-886	O argumento numero 2 de RemixFn e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 250-250	O argumento numero 2 de accountHolder e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4015-4015	O argumento numero 2 de administrator e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14070-14070	O argumento numero 4 de agreementClause e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 278-278	O argumento numero 2 de albumArtist e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24159-24159	O argumento numero 1 de allegiance e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24160-24160	O argumento numero 2 de allegiance e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26950-26950	O argumento numero 1 de approves e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26951-26951	O argumento numero 2 de approves e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2810-2810	O argumento numero 1 de believes e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1301-1301	O argumento numero 2 de borrower e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29959-29959	O argumento numero 1 de buys e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 681-681	O argumento numero 1 de checkOutTime e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 145-145	O argumento numero 1 de composer e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17456-17456	O argumento numero 3 de confersObligation e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17435-17435	O argumento numero 3 de confersRight e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2800-2800	O argumento numero 1 de considers e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 1081-1081	O argumento numero 2 de contestEntry e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 1064-1064	O argumento numero 2 de contestOrganizer e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Music.kif 1106-1106	O argumento numero 2 de contestParticipantRepresentation e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2502-2502	O argumento numero 1 de creditRanking e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7720-7720	O argumento numero 1 de customer e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3628-3628	O argumento numero 1 de customerRepresentative e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3629-3629	O argumento numero 2 de customerRepresentative e' uma instancia de Agente Cognitivo

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.	MilitaryPersons.kif 228-235	Processo e' uma instancia de Causar Dano Processo e' um agente de AutonomousAgent Processo termina em Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo Agente Cognitivo acredita que Dangerous e' um atributo de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22260-22273	Atributo e' uma instancia de OccupationalRole typicalAction Processo and AttrFn Agente Cognitivo and Atributo Processo Posicao Temporal, AutonomousAgent and AutonomousAgentT Processo e' uma instancia de Agente Cognitivo Atributo e' um atributo de Processo vale durante Posicao Temporal AutonomousAgent e' uma instancia de Processo Processo e' um agente de AutonomousAgent AutonomousAgent existe durante AutonomousAgentT AutonomousAgentT e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22293	Atributo e' uma instancia de OccupationalDomain Fisico e' uma instancia de AttrFn Agente Cognitivo and Atributo Processo typicalAction Processo and AttrFn Agente Cognitivo and Atributo Fisico tem por fim Entidade Entidade e' uma instancia de Processo Fisico e' um agente de 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.	Mid-level-ontology.kif 18701-18712	Processo e' uma instancia de SeizingProperty Processo termina em Entidade Processo tem como origem Objeto Objeto e' uma instancia de Agente Cognitivo Entidade e' uma instancia de Governo confersNorm Objeto, Processo nao %n termina %n em Entidade and Permission
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.	Mid-level-ontology.kif 18586-18594	Processo e' uma instancia de Stealing Processo termina em Agente Cognitivo Processo tem como origem Objeto Objeto e' uma instancia de Agente Cognitivo Objeto nao autoriza %n Agente Cognitivo a executar tarefas de tipo Processo termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Government.kif 4614-4619	representativeAgentToAgent Area Geopolitica, Agente Cognitivo and AutonomousAgent Area Geopolitica e' uma instancia de Nacao Agente Cognitivo e' uma instancia de Agente Cognitivo o governo de Area Geopolitica emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Government.kif 4607-4612	representativeAgentToAgent AutonomousAgent, Agente Cognitivo and AutonomousAgent AutonomousAgent e' uma instancia de Organizacao Agente Cognitivo e' uma instancia de Agente Cognitivo AutonomousAgent emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11997-11999	Objeto e' uma instancia de Agente Cognitivo Objeto e' capaz de fazer Raciocinar no role agent

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23482-23486	Processo e' uma instancia de PlacingUnderArrest Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2542-2546	Processo e' uma instancia de Evacuation Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11943-11947	Processo e' uma instancia de Aprender Processo e' um agente de AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22248-22252	Atributo e' uma instancia de OccupationalRole Entidade tem um atributo de Atributo Entidade e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22260-22273	Atributo e' uma instancia de OccupationalRole typicalAction Processo and AttrFn Agente Cognitivo and Atributo Processo Posicao Temporal, AutonomousAgent and AutonomousAgentT Processo e' uma instancia de Agente Cognitivo Atributo e' um atributo de Processo vale durante Posicao Temporal AutonomousAgent e' uma instancia de Processo Processo e' um agente de AutonomousAgent AutonomousAgent existe durante AutonomousAgentT AutonomousAgentT e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22280-22293	Atributo e' uma instancia de OccupationalDomain Fisico e' uma instancia de AttrFn Agente Cognitivo and Atributo Processo typicalAction Processo and AttrFn Agente Cognitivo and Atributo Fisico tem por fim Entidade Entidade e' uma instancia de Processo Fisico e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12984-12997	Processo e' uma instancia de Searching Fisico e' um patient de Processo Fisico e' uma instancia de Fisico Objeto AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Objeto e' uma instancia de Objeto Fisico e' situado em Objeto Processo tem finalidade AutonomousAgent sabe Fisico e' situado em Objeto para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13045-13054	Processo e' uma instancia de Communicacao Entidade Entidade, AutonomousAgent and Entidade Entidade inclui uma referencia a Entidade Entidade e' um patient de Processo AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Entidade e' uma instancia de Agente Cognitivo Processo termina em Entidade
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2795-2805	Fisico e' uma instancia de CustomerSupport Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Agente Cognitivo Entidade e' uma instancia de Agente Cognitivo Entidade e' uma instancia de Organizacao businessUnit Fisico and Entidade Entidade e' membro de Fisico customerRepresentative Entidade, Entidade and Entidade
No TPTP formula. May not be expressible in strict first order.	Music.kif 67-80	Colecao e' uma instancia de Discography Humano Atributo Humano e' uma instancia de Agente Cognitivo Atributo e' um atributo de Humano Atributo e' uma instancia de Musician Album Album e' membro de Colecao MakingMusic Ponto no tempo, Area Geografica and ColecaoS musician Album, Humano and MakingMusic releaseForSale AlbumCopiesFn Album and ColecaoS, Area Geografica and Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13062-13070	Processo e' uma instancia de Disseminar Entidade Entidade Processo termina em Entidade Entidade e' uma instancia de Agente Cognitivo Processo termina em Entidade Entidade e' uma instancia de Agente Cognitivo Entidade e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22896-22901	ServiceProcess e' uma instancia de ServiceProcess Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo serviceProvider ServiceProcess and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22903-22908	ServiceProcess e' uma instancia de ServiceProcess Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo serviceRecipient ServiceProcess and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	Processo e' uma instancia de FoodDistributionOperation Entidade Entidade Entidade e' uma instancia de FoodForFn Animal Entidade e' uma instancia de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Entidade Entidade possui Entidade vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22254-22258	Atributo e' uma instancia de OccupationalRole Processo typicalAction Processo and AttrFn Agente Cognitivo and Atributo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10498-10503	Processo e' uma instancia de Processo Intencional AutonomousAgent AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12970-12982	Processo e' uma instancia de Searching AutonomousAgent Fisico and Objeto AutonomousAgent e' uma instancia de Agente Cognitivo Processo e' um agente de AutonomousAgent Fisico e' uma instancia de Fisico Fisico e' um patient de Processo Objeto e' uma instancia de Objeto Fisico e' situado em Objeto Processo tem finalidade AutonomousAgent sabe Fisico e' situado em Objeto para AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1179-1185	visitorParameter AutonomousAgent, Formula and WebSite Agente Cognitivo Agente Cognitivo e' uma instancia de Agente Cognitivo Agente Cognitivo possui WebSite Agente Cognitivo sabe Formula

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: