CognitiveAgent - Sigma 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 1573-1579
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 1571-1571	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 14782-14782	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 850-850	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	english_format.kif 902-902	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	french_format.kif 526-526	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 57-57	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 60-60	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2211-2211	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 478-478	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 93-93	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 352-352	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 547-547	Humano e' uma sub-classe de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 61-61	Humano e' uma sub-classe de Agente Cognitivo

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Music.kif 847-847	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 888-888	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 252-252	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 4033-4033	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 15441-15441	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 25807-25807	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 25808-25808	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 28851-28851	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 28852-28852	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 2806-2806	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 1317-1317	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 31853-31853	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 685-685	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 17616-17616	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 17595-17595	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 2796-2796	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 1083-1083	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 1066-1066	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 1108-1108	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 2519-2519	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 8887-8887	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 3646-3646	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 3647-3647	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 23903-23916	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 23923-23936	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 2728-2734	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 20272-20283	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 termina 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 20157-20165	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 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 4575-4580	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 4568-4573	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 12132-12134	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 25125-25129	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 2576-2580	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 12078-12082	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 23891-23895	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 23903-23916	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 23923-23936	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 13123-13136	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.	Economy.kif 6665-6677	ForSale e' um atributo de Objeto Agente Cognitivo Entidade Agente Cognitivo e' uma instancia de Agente Cognitivo Objeto e' uma instancia de Objeto Agente Cognitivo e' capaz de fazer Vender no role agent Objeto e' capaz de fazer Vender no role patient Agente Cognitivo deseja Entidade e' uma instancia de Vender Entidade e' um agente de Agente Cognitivo Objeto e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13184-13193	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 13201-13209	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 24539-24544	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 24546-24551	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 23897-23901	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 10621-10626	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 13109-13121	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.	Weather.kif 3709-3720	ContentBearingPhysical e' uma instancia de WeatherAssessment containsFormula ContentBearingPhysical and Entidade Entidade and Entidade Entidade e' uma instancia de Raciocinar Entidade e' uma instancia de Agente Cognitivo Entidade e' um agente de Entidade Entidade e' uma instancia de WeatherProcess Entidade e' um patient de Entidade ContentBearingPhysical e' o resultado de Entidade tempo de existencia de Entidade acontence antes de tempo de existencia de ContentBearingPhysical
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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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: