desires - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1936-1938
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2791-2795
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 565-568
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2788-2788	O argumento numero 1 de desires e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2789-2789	O argumento numero 2 de desires e' uma instancia de Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2785-2785	desires e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2784-2784	desires e' uma instancia de Atitude pProposicional
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2787-2787	desires e' relacionado internamente por SUMO a wants
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2786-2786	desires e' uma sub-relacao de inScopeOfInterest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7466-7466	disapproves e desires sao disjuntos
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	english_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	french_format.kif 68-68
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 70-70
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1894-1894
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 20-20
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 104-104
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 98-98
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 111-111
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 87-87
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 67-67
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 156-156
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2764-2764	wants e' relacionado internamente por SUMO a desires
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19260-19260
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 92-92
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19259-19259
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19258-19258
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 28-28
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 157-157

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and Objeto customer Agente Cognitivo and AutonomousAgent Entidade e' uma instancia de Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo o argumento AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo usa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Law.kif 480-489	AutonomousAgent deseja Dead e' um atributo de Entidade vale durante Intervalo Temporal AutonomousAgentURDER e' uma instancia de Murder AutonomousAgentURDER e' um agente de AutonomousAgent Entidade e' um patient de AutonomousAgentURDER Intervalo Temporal acontence antes de tempo de existencia de AutonomousAgentURDER Premeditated e' um atributo de AutonomousAgentURDER
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	Processo e' uma instancia de DefensiveInformationOperation Processo e' um agente de Agente Cognitivo enemy Agente Cognitivo and Agente Cognitivo Agente Cognitivo deseja Agente Cognitivo sabe Entidade Agente Cognitivo deseja Agente Cognitivo nao sabe %n Entidade Processo tem por fim Agente Cognitivo nao sabe %n Entidade

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29558-29570	Collectible e' um atributo de Objeto Objeto tem por fim Formula Agente Cognitivo Formula2 Agente Cognitivo e' uma instancia de Humano Agente Cognitivo quer Objeto Agente Cognitivo deseja Formula2 Formula2 implica Agente Cognitivo possui Objeto Formula e' igual a Formula2
No TPTP formula. May not be expressible in strict first order.	Government.kif 1814-1818	candidateForPosition Election, Role Social and Agente Cognitivo Election e' um agente de AutonomousAgent Agente Cognitivo deseja Agente Cognitivo ocupa a posicao de Role Social AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Law.kif 295-306	defenseLawyer Acao Legal and Agente Cognitivo defendant Acao Legal and Agente Cognitivo Agente Cognitivo deseja Entidade Entidade e' uma instancia de LegalDecision Entidade inclui uma referencia a Acao Legal Agente Cognitivo nao quer %n Entidade
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 734-743	deviceOS Objeto and Computer ObjetoI e' uma instancia de Objeto ComputerI e' uma instancia de Computer manufacturer Objeto and Agente Cognitivo Agente Cognitivo deseja programRunning Entidade and ComputerI computerRunning Entidade and ObjetoI
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2200-2216	Processo e' uma instancia de AutoImmuneDisorder Agente Cognitivo experimenta Processo Objeto Processo and Objeto Objeto e' uma instancia de Antibody Objeto e' uma &parte de Agente Cognitivo Objeto e' uma instancia de Celula Objeto e' uma &parte de Agente Cognitivo Processo e' uma instancia de Destrucao Objeto e' um instrumento para Processo Agente Cognitivo nao deseja %n Processo e' uma instancia de Destrucao Objeto e' um instrumento para Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1312-1324	Processo e' uma instancia de AddToCart 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 deseja Entidade Entidade e' uma instancia de Comprar Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21828-21847	Processo e' uma instancia de Blockade Contest e' uma instancia de Contest Processo e' um sub-processo de Contest contestParticipant Contest and AutonomousAgent Processo e' um agente de AutonomousAgent Contest1 Agente Cognitivo Contest1 proibe a ocurrencia de Translocation Processo e' uma instancia de Contest1 contestParticipant Contest and Agente Cognitivo AutonomousAgent e' igual a Agente Cognitivo Agente Cognitivo deseja Entidade Entidade e' uma instancia de Contest1 Entidade e' um agente de AutonomousAgent Entidade e' um sub-processo de Contest
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	ComputerProcess e' uma instancia de ComputerBackingUp dataProcessed ComputerProcess and DigitalData DigitalData e' uma instancia de DigitalData ComputerProcess e' um agente de Agente Cognitivo Agente Cognitivo deseja Entidade tempo de existencia de ComputerProcess acontence antes de Entidade Entidade Entidade e' uma instancia de ComputerProcess DigitalData e' capaz de fazer Entidade no role dataProcessed vale durante Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 937-945	Colecao e' uma instancia de Club Agente Cognitivo e' membro de Colecao Agente Cognitivo e' membro de Colecao Formula Agente Cognitivo deseja Formula Agente Cognitivo deseja Formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12258-12263	Processo e' uma instancia de Confinar Agente Cognitivo e' um patient de Processo Agente Cognitivo e' uma instancia de Humano Agente Cognitivo nao deseja %n Agente Cognitivo e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12977-12984	Processo e' uma instancia de ExpressingApproval Processo e' um agente de Agente Cognitivo Formula e' um patient de Processo Agente Cognitivo quer Formula Agente Cognitivo deseja Formula
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4517-4532	Processo e' uma instancia de FailureFn Processo Intencional Processo e' um agente de Agente Cognitivo Agente Cognitivo deseja Processo Processo e' uma instancia de Processo Intencional Processo e' um agente de Agente Cognitivo Processo Processo e' uma instancia de Processo Intencional tempo de existencia de Processo acontece durante tempo de existencia de Processo Processo e' um agente de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Government.kif 2326-2333	Agente Cognitivo e' uma instancia de PoliticalPressureGroup Agente Cognitivo tem por fim Formula agentOperatesInArea Agente Cognitivo and Area Geografica Area Geografica e' uma instancia de Nacao Agente Cognitivo deseja o governo de Area Geografica acredita que Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16474-16486	Processo e' uma instancia de Insomnia Agente Cognitivo experimenta Processo Processo Duracao Temporal and Duracao Temporal2 Processo e' uma instancia de Sleeping Agente Cognitivo experimenta Processo a duracao de tempo de existencia de Processo e' Duracao Temporal Agente Cognitivo deseja a duracao de tempo de existencia de Processo e' Duracao Temporal2 Duracao Temporal2 e' maior que Duracao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5719-5730	Processo e' uma instancia de Itching Processo e' situado em Objeto Objeto e' uma &parte de Agente Cognitivo Agente Cognitivo experimenta Processo Agente Cognitivo deseja Entidade Entidade e' uma instancia de Scratching tempo de existencia de Entidade acontece durante tempo de existencia de Processo Entidade e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3476-3486	Processo e' uma instancia de Jailbreaking Entidade e' uma instancia de Computer Entidade e' uma instancia de Objeto Entidade e' um patient de Processo manufacturer Objeto and Agente Cognitivo Agente Cognitivo nao deseja %n Entidade Processo e' um agente de Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10699-10709	Processo e' uma instancia de Quitting Entidade e' uma instancia de Organizacao Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Agente Cognitivo deseja Agente Cognitivo e' membro de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 313-325	Objeto e' uma instancia de WebListing Processo e' uma instancia de Objeto Agente Cognitivo e' uma instancia de AutonomousAgent AuctionAttribute e' um atributo de Objeto Objeto e' um patient de Processo creator Agente Cognitivo and Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Auctioning Processo e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Government.kif 2227-2233	Colecao e' uma instancia de CommunistParty Agente Cognitivo e' membro de Colecao Entidade e' uma instancia de Area Geopolitica Agente Cognitivo deseja governmentType Entidade and CommunistState
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 865-873	Processo e' uma instancia de Punishing Processo e' um agente de Agente Cognitivo Entidade e' um patient de Processo Processo termina em Entidade Agente Cognitivo sabe Entidade nao deseja %n Entidade
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1184-1194	Processo e' uma instancia de PsychologicalOperation Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo tem por fim Entidade Entidade Entidade e' um agente de Entidade Entidade e' o resultado de Entidade AutonomousAgent deseja Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13246-13252	Processo e' uma instancia de Pedir Processo e' um agente de Agente Cognitivo Formula e' um patient de Processo Formula e' uma instancia de Formula Agente Cognitivo deseja Formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13175-13185	Processo e' uma instancia de Thanking Processo e' um agente de AutonomousAgent Entidade e' um patient de Processo Processo termina em Entidade Entidade e' uma instancia de Humano AutonomousAgent quer Entidade vale durante tempo de existencia de Processo AutonomousAgent deseja Entidade vale durante tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 853-858	Processo e' uma instancia de Threatening Formula e' um patient de Processo Processo termina em Agente Cognitivo Agente Cognitivo nao deseja %n Formula
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 61-68	listingSeller WebListing and Agente Cognitivo Entidade e' uma instancia de Objeto Entidade e' um patient de WebListing Agente Cognitivo deseja Entidade Entidade e' um patient de Entidade

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: