TreeView Knowledge Base Browser - buys

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

buys

Sigma KEE - buys

buys

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29951-29952
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.	Mid-level-ontology.kif 29960-29960	O argumento numero 2 de buys e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29961-29961	O argumento numero 3 de buys e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29950-29950	buys e' uma instancia de Predicado Ternario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2946-2946
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2945-2945
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2944-2944
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29953-29953

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29963-29972	buys Agente Cognitivo, AutonomousAgent and Entidade Entidade e' uma instancia de Fisico Processo Processo e' uma instancia de Comprar Entidade e' um patient de Processo Processo e' um agente de Agente Cognitivo Processo tem como origem AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29974-29984	buys Agente Cognitivo, AutonomousAgent and Proposicao Proposicao e' uma instancia de Proposicao Processo Processo Processo e' um agente de Agente Cognitivo Processo exprime o conteudo de Proposicao Processo e' uma instancia de Comprar Processo e' um patient de Processo Processo tem como origem AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1558-1578	offers AutonomousAgent and MealPlan MealPlan e' uma instancia de MealPlan includedMeal MealPlan and Atributo Relacional TravelerAccommodation e' um atributo de AutonomousAgent guest Agente Cognitivo and AutonomousAgent buys Agente Cognitivo, AutonomousAgent and MealPlan Entidade Entidade Atributo Relacional e' um atributo de Entidade Entidade tem por fim Entidade Entidade e' uma instancia de Comer Entidade e' um agente de Agente Cognitivo Entidade e' um patient de Entidade vale durante Entidade vale durante tempo de existencia de guest Agente Cognitivo and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2744-2757	propositionOwner Agente Cognitivo and HotelPackage HotelPackage e' uma instancia de HotelPackage accommodationProvider HotelPackage and Organizacao roomStay HotelPackage, Numero Inteiro and HotelUnit Entidade e' uma instancia de HotelUnit Entidade e' um elemento de propriedade de Organizacao buys Agente Cognitivo, Agente Cognitivo and HotelPackage Posicao Temporal Posicao Temporal e' igual a Numero Inteiro DayDuration(s) guest Agente Cognitivo and Organizacao vale durante Posicao Temporal

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30014-30020	Sequencia Simbolica e' uma instancia de PurchaseOrderNumber Fisico Agente Cognitivo, AutonomousAgent and Entidade Fisico e' uma instancia de PurchaseOrder buys Agente Cognitivo, AutonomousAgent and Entidade uniqueIdWithRespectTo Fisico, Agente Cognitivo and Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29868-29888	Entidade e' uma instancia de Invoice Sequencia Simbolica Agente Cognitivo, AutonomousAgent, Entidade and Entidade o identificador unico de Sequencia Simbolica e' Entidade buys Agente Cognitivo, AutonomousAgent and Entidade AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade Entidade e' uma instancia de Vender Entidade e' uma instancia de Produto objectTransferred Entidade and Entidade Entidade inclui uma referencia a Entidade Entidade e' um agente de AutonomousAgent Agente Cognitivo e' um patient de Entidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29895-29915	Entidade e' uma instancia de PurchaseOrder Sequencia Simbolica Agente Cognitivo, Agente Cognitivo and Entidade o identificador unico de Sequencia Simbolica e' Entidade buys Agente Cognitivo, Agente Cognitivo and Entidade Agente Cognitivo obriga Agente Cognitivo a executar tarefas de tipo Entidade o comeco de tempo de existencia de Entidade comeca antes de o comeco de tempo de existencia de Entidade Entidade e' uma instancia de Comprar Entidade e' uma instancia de Produto objectTransferred Entidade and Entidade Entidade inclui uma referencia a Entidade Entidade e' um agente de Agente Cognitivo Agente Cognitivo e' um patient de Entidade

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