offers - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - offers

offers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 79-80
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 82-82	O argumento numero 1 de offers e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 83-83	O argumento numero 2 de offers e' uma instancia de Abstrato
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 81-81	offers e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4014-4014
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4013-4013
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4012-4012
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 84-84

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	Catalog e' uma instancia de SetMenu offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de PreparedFood Fisico e' uma instancia de Classe Fisico e' uma instancia de Entidade Fisico e' igual a Fisico price Fisico, Medida de Divisa and AutonomousAgent price Fisico, Medida de Divisa and AutonomousAgent Medida de Divisa e' igual a Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 109-119	offers AutonomousAgent and Abstrato Abstrato e' uma instancia de Atributo o argumento Entidade Entidade Entidade e' uma instancia de Vender Abstrato e' um atributo de Entidade Entidade e' um patient de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 98-107	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Objeto Processo e' uma instancia de Processo Processo e' uma sub-classe de Processo Entidade e' uma instancia de Entidade Entidade e' um patient de Processo AutonomousAgent e' capaz de fazer Processo no role agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 88-93	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Processo AutonomousAgent e' capaz de fazer Entidade no role agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 51-62	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Fisico o argumento Entidade Entidade Entidade e' uma instancia de Entidade Entidade e' uma instancia de Vender Entidade e' um agente de AutonomousAgent Entidade e' um patient de Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-76	offers AutonomousAgent and Catalog catalogItem Entidade and Catalog Entidade e' uma sub-classe de Proposicao o argumento Entidade Entidade and Entidade Entidade e' uma instancia de Entidade Entidade exprime o conteudo de Entidade Entidade e' uma instancia de Vender Entidade e' um patient de Entidade Entidade e' um agente de AutonomousAgent tem a forca modal de Possibility
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

consequent

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 152-157	offersAtTime AutonomousAgent, Entidade and Intervalo Temporal Entidade e' uma instancia de Atributo offers AutonomousAgent and Entidade vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 36-41	Abstrato e' uma instancia de Catalog AutonomousAgent AutonomousAgent e' uma instancia de AutonomousAgent offers AutonomousAgent and Abstrato

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