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 30876-30879
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30884-30884	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 30886-30886	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 30887-30887	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 30888-30888	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 30885-30885	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 30882-30882	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 30881-30881
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30880-30880

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30956-30971	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 30898-30908	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 30923-30938	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 30973-30987	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 30912-30921	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 30940-30954	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 30890-30896	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