Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Exporting

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
No TPTP formula. May not be expressible in strict first order. Economy.kif 2421-2430
No TPTP formula. May not be expressible in strict first order. Economy.kif 2412-2419
No TPTP formula. May not be expressible in strict first order. Economy.kif 2432-2445
No TPTP formula. May not be expressible in strict first order. Economy.kif 2456-2466
No TPTP formula. May not be expressible in strict first order. Economy.kif 2468-2476
No TPTP formula. May not be expressible in strict first order. Economy.kif 2478-2486
No TPTP formula. May not be expressible in strict first order. Economy.kif 2405-2410

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2312-2319
No TPTP formula. May not be expressible in strict first order. Economy.kif 2335-2342
No TPTP formula. May not be expressible in strict first order. Economy.kif 2379-2385
No TPTP formula. May not be expressible in strict first order. Economy.kif 2359-2367
No TPTP formula. May not be expressible in strict first order. Economy.kif 2666-2672
No TPTP formula. May not be expressible in strict first order. Economy.kif 2647-2655


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