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 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 14690-14690	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 14097-14097	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 24216-24216	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 24217-24217	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 26983-26983	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 26984-26984	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 29983-29983	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 17527-17527	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 17506-17506	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 7747-7747	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 22312-22325	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 22332-22345	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 18728-18739	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 18613-18621	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 4578-4583	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 4571-4576	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 12043-12045	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 23534-23538	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 2593-2597	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 11989-11993	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 22300-22304	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 22312-22325	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 22332-22345	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 13030-13043	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 13091-13100	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 13108-13116	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 22948-22953	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 22955-22960	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 22306-22310	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 10532-10537	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 13016-13028	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 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: