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

Formal Language: 



KB Term:  Term intersection
English Word: 

  exportPartnerByFraction

Sigma KEE - exportPartnerByFraction
exportPartnerByFraction

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2549-2553
No TPTP formula. May not be expressible in strict first order. Economy.kif 2545-2545 The number 1 argument of export partner by fraction is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2546-2546 The number 2 argument of export partner by fraction is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2547-2547 The number 3 argument of export partner by fraction is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2544-2544 export partner by fraction is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 955-955
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 954-954
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 953-953
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22899-22899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22898-22898
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22897-22897

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2555-2557

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2559-2564 A geopolitical area export partner by fraction in period another geopolitical area for a positive real number with a kind of time interval if and only if there exists a time position such that the time position is an instance of a kind of time interval and the geopolitical area export partner by fraction the other geopolitical area for the positive real number holds during the time position


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