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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Exporting
Exporting(exporting)
export

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2401-2406
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6000-6000
No TPTP formula. May not be expressible in strict first order. Economy.kif 2398-2398 Exporting is a subclass of change of possession
No TPTP formula. May not be expressible in strict first order. Economy.kif 2399-2399 Exporting is a subclass of financial transaction

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22887-22887
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22886-22886
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22885-22885

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2450-2457
No TPTP formula. May not be expressible in strict first order. Economy.kif 2435-2448
No TPTP formula. May not be expressible in strict first order. Economy.kif 2424-2433
No TPTP formula. May not be expressible in strict first order. Economy.kif 2415-2422
No TPTP formula. May not be expressible in strict first order. Economy.kif 2459-2469
No TPTP formula. May not be expressible in strict first order. Economy.kif 2471-2479
No TPTP formula. May not be expressible in strict first order. Economy.kif 2481-2489
No TPTP formula. May not be expressible in strict first order. Economy.kif 2408-2413

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2316-2323
No TPTP formula. May not be expressible in strict first order. Economy.kif 2339-2346
No TPTP formula. May not be expressible in strict first order. Economy.kif 2383-2389
No TPTP formula. May not be expressible in strict first order. Economy.kif 2363-2371
No TPTP formula. May not be expressible in strict first order. Economy.kif 2669-2675
No TPTP formula. May not be expressible in strict first order. Economy.kif 2650-2658


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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