TreeView Knowledge Base Browser - Exporting

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

InadequateDrinkingWaterIssue

Sigma KEE - Exporting

Exporting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2398-2403
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5999-5999
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2394-2394	Exporting e' uma sub-classe de Mudanca de Dono
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2396-2396	Exporting e' uma sub-classe de Transacao Financeira
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2395-2395	Exporting e' uma sub-classe de Processo Organizacional

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22894-22894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22893-22893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22892-22892

antecedent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2447-2454	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica Processo termina em Entidade Entidade e' situado em Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2421-2430	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Entidade e' uma instancia de Area Geopolitica Entidade e' situado em Entidade vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2412-2419	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Objeto e' uma instancia de Area Geopolitica Processo tem como origem Objeto Entidade e' situado em Objeto vale durante o comeco de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2432-2445	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Area Geopolitica e' uma instancia de Area Geopolitica Entidade e' situado em Area Geopolitica vale durante o comeco de tempo de existencia de Processo Area Geopolitica Area Geopolitica e' uma instancia de Area Geopolitica sub-divisao geopolitica sub-divisao geopolitica Entidade e' situado em Area Geopolitica vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2456-2466	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Objeto e' uma instancia de Area Geopolitica Fisico e' uma instancia de Area Geopolitica Entidade e' situado em Objeto vale durante o comeco de tempo de existencia de Processo Entidade e' situado em Fisico vale durante o fim de tempo de existencia de Processo Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2468-2476	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Objeto e' uma instancia de Area Geopolitica Processo tem como origem Objeto Entidade e' uma instancia de Area Geopolitica Processo termina em Entidade Objeto e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2478-2486	Processo e' uma instancia de Exporting Entidade e' um patient de Processo Objeto e' uma instancia de Area Geopolitica Processo tem como origem Objeto Fisico e' uma instancia de Area Geopolitica Processo termina em Fisico Fisico e' situado em Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2405-2410	Processo e' uma instancia de Exporting Entidade Entidade e' uma instancia de Objeto Entidade e' um patient de Processo

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2312-2319	exportCommodityType Area Geopolitica and Objeto Processo Entidade Processo e' uma instancia de Exporting Processo e' um agente de Area Geopolitica Entidade e' uma instancia de Objeto Entidade e' um patient de Processo
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2335-2342	exportCommodityType Area Geopolitica and Objeto Processo Entidade Processo e' uma instancia de Exporting Processo e' um agente de Area Geopolitica Entidade e' um patient de Processo Entidade e' uma instancia de Objeto
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2379-2385	exportPartner AutonomousAgent and AutonomousAgent Processo Processo e' uma instancia de Exporting Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2359-2367	exportPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Intervalo Temporal Processo Intervalo Temporal e' uma instancia de Intervalo Temporal Processo e' uma instancia de Exporting tempo de existencia de Processo engloba Intervalo Temporal Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2666-2672	importPartner AutonomousAgent and AutonomousAgent Processo Processo e' uma instancia de Exporting Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2647-2655	importPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Intervalo Temporal Processo Intervalo Temporal e' uma instancia de Intervalo Temporal Processo e' uma instancia de Exporting tempo de existencia de Processo engloba Intervalo Temporal Processo tem como origem AutonomousAgent Processo termina em AutonomousAgent

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