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

Formal Language: 



KB Term:  Term intersection
English Word: 

  importPartnerByFractionInPeriod

 Sigma KEE - importPartnerByFractionInPeriod
importPartnerByFractionInPeriod

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2717-2721
No TPTP formula. May not be expressible in strict first order. Economy.kif 2712-2712 The number 1 argument of import partner by fraction in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2713-2713 The number 2 argument of import partner by fraction in period is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order. Economy.kif 2714-2714 The number 3 argument of import partner by fraction in period is an instance of positive real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2715-2715 The number 4 argument of import partner by fraction in period is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Economy.kif 2711-2711 import partner by fraction in period is an instance of quaternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1269-1269
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1268-1268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1267-1267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29425-29425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29424-29424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29423-29423

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2742-2747 A geopolitical area import 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 import partner by fraction the other geopolitical area for the positive real number holds during the time position
No TPTP formula. May not be expressible in strict first order. Economy.kif 2723-2725


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