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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30864-30867
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30872-30872	O argumento numero 1 de shortage e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30874-30874	O argumento numero 3 de shortage e' uma instancia de Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30875-30875	O argumento numero 4 de shortage e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30876-30876	O argumento numero 5 de shortage e' uma instancia de Quantidade
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30873-30873	O argumento numero 2 de shortage e' uma sub-classe de Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30870-30870	shortage e' uma instancia de Predicado Quinquenario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30869-30869
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30868-30868

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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