TreeView Knowledge Base Browser - shortage

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - shortage

shortage

appearance as argument number 1

(documentation shortage EnglishLanguage "A relation between an AutonomousAgent and a number of instances or a quantity of a class of Object at a particular price or cost. The cost should include transport from the origin to the agent.")	Mid-level-ontology.kif 30864-30867
(domain shortage 1 AutonomousAgent)	Mid-level-ontology.kif 30872-30872	O argumento numero 1 de shortage e' uma instancia de AutonomousAgent
(domain shortage 3 CurrencyMeasure)	Mid-level-ontology.kif 30874-30874	O argumento numero 3 de shortage e' uma instancia de Medida de Divisa
(domain shortage 4 TimeInterval)	Mid-level-ontology.kif 30875-30875	O argumento numero 4 de shortage e' uma instancia de Intervalo Temporal
(domain shortage 5 Quantity)	Mid-level-ontology.kif 30876-30876	O argumento numero 5 de shortage e' uma instancia de Quantidade
(domainSubclass shortage 2 Object)	Mid-level-ontology.kif 30873-30873	O argumento numero 2 de shortage e' uma sub-classe de Objeto
(instance shortage QuintaryPredicate)	Mid-level-ontology.kif 30870-30870	shortage e' uma instancia de Predicado Quinquenario

appearance as argument number 2

(format EnglishLanguage shortage "there is a shortage of %5 of %2 for %1 at %3 during %4")	Mid-level-ontology.kif 30869-30869
(termFormat EnglishLanguage shortage "shortage")	Mid-level-ontology.kif 30868-30868

antecedent

(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30944-30959	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Numero Inteiro Agente Cognitivo deseja Entidade Entidade Entidade e' uma instancia de Comprar tempo de existencia de Entidade acontece durante Intervalo Temporal objectTransferred Entidade and Entidade transactionAmount Entidade and Medida de Divisa Entidade e' um agente de Agente Cognitivo Entidade e' uma instancia de Colecao memberType Entidade and Objeto memberCount Entidade and Quantidade Agente Cognitivo possui Entidade
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (desires ?A (exists (?G) (and (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30886-30896	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Numero Inteiro Agente Cognitivo deseja Entidade Entidade e' uma instancia de Colecao memberType Entidade and Objeto memberCount Entidade and Quantidade Agente Cognitivo possui Entidade
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N Integer)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G Collection) (memberType ?G ?O) (memberCount ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30911-30926	shortage AutonomousAgent, Objeto, Medida de Divisa, Intervalo Temporal and Numero Inteiro Numero Inteiro e' uma instancia de Numero Inteiro Transferencia Colecao Transferencia e' uma instancia de Comprar tempo de existencia de Transferencia acontece durante Intervalo Temporal objectTransferred Transferencia and Colecao transactionAmount Transferencia and Medida de Divisa Transferencia e' um agente de AutonomousAgent Colecao e' uma instancia de Colecao memberType Colecao and Objeto memberCount Colecao and Numero Inteiro AutonomousAgent possui Colecao
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30961-30975	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Quantidade Fisica Agente Cognitivo deseja Entidade Entidade Entidade e' uma instancia de Comprar tempo de existencia de Entidade acontece durante Intervalo Temporal objectTransferred Entidade and Entidade transactionAmount Entidade and Medida de Divisa Entidade e' um agente de Agente Cognitivo Entidade e' uma instancia de Objeto a medida de Entidade e' Quantidade Agente Cognitivo possui Entidade
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (desires ?A (exists (?G) (and (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30900-30909	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Quantidade e' uma instancia de Quantidade Fisica Agente Cognitivo deseja Entidade Entidade e' uma instancia de Objeto a medida de Entidade e' Quantidade Agente Cognitivo possui Entidade
(=> (and (shortage ?A ?O ?C ?T ?N) (instance ?N PhysicalQuantity)) (not (exists (?B ?G) (and (instance ?B Buying) (during (WhenFn ?B) ?T) (objectTransferred ?B ?G) (transactionAmount ?B ?C) (agent ?B ?A) (instance ?G ?O) (measure ?G ?N) (possesses ?A ?G)))))	Mid-level-ontology.kif 30928-30942	shortage AutonomousAgent, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Fisica Quantidade Fisica e' uma instancia de Quantidade Fisica Transferencia Objeto Transferencia e' uma instancia de Comprar tempo de existencia de Transferencia acontece durante Intervalo Temporal objectTransferred Transferencia and Objeto transactionAmount Transferencia and Medida de Divisa Transferencia e' um agente de AutonomousAgent Objeto e' uma instancia de Objeto a medida de Objeto e' Quantidade Fisica AutonomousAgent possui Objeto
(=> (shortage ?A ?O ?C ?T ?Q) (desires ?A (exists (?I) (and (instance ?I ?O) (possesses ?A ?I)))))	Mid-level-ontology.kif 30878-30884	shortage Agente Cognitivo, Objeto, Medida de Divisa, Intervalo Temporal and Quantidade Agente Cognitivo deseja Entidade Entidade e' uma instancia de Objeto Agente Cognitivo possui 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