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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - exportPartnerByFraction
exportPartnerByFraction

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2779-2783
No TPTP formula. May not be expressible in strict first order. Economy.kif 2775-2775 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 2776-2776 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 2777-2777 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 2774-2774 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 22909-22909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22908-22908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22907-22907

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2785-2787

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2789-2794 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 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