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
-------------------------


(documentation exportPartnerByFraction EnglishLanguage "(exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION) means that the GeopoliticalArea ?AREA1 exports goods to GeopoliticalArea ?AREA2 and receives ?FRACTION of the exportTotalInPeriod of ?AREA1, based on U.S. dollar value of exports.") Economy.kif 2542-2546
(domain exportPartnerByFraction 1 GeopoliticalArea) Economy.kif 2538-2538 exportPartnerByFraction 的 1 数量 是 地缘政治区域instance
(domain exportPartnerByFraction 2 GeopoliticalArea) Economy.kif 2539-2539 exportPartnerByFraction 的 2 数量 是 地缘政治区域instance
(domain exportPartnerByFraction 3 PositiveRealNumber) Economy.kif 2540-2540 exportPartnerByFraction 的 3 数量 是 正实数instance
(instance exportPartnerByFraction TernaryPredicate) Economy.kif 2537-2537 exportPartnerByFraction三元谓语instance

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


(format EnglishLanguage exportPartnerByFraction "%1 %n{doesn't} export partner by fraction %2 for %3") domainEnglishFormat.kif 247-247
(termFormat EnglishLanguage exportPartnerByFraction "export partner by fraction") domainEnglishFormat.kif 4239-4239 termFormat EnglishLanguage, exportPartnerByFraction and "export partner by fraction"

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


(=>
    (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)
    (lessThanOrEqualTo ?YEAR 1.0))
Economy.kif 2548-2550

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


(<=>
    (exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD)
    (exists (?TIME)
        (and
            (instance ?TIME ?PERIOD)
            (holdsDuring ?TIME
                (exportPartnerByFraction ?AREA1 ?AREA2 ?FRACTION)))))
Economy.kif 2552-2557 exportPartnerByFractionInPeriod 地缘政治区域, 另一个 地缘政治区域, 正实数 and 有点 时距 若且唯若 有存在 时间位置 这样 那个 时间位置 有点 时距instanceexportPartnerByFraction 那个 地缘政治区域, 那个 另外 地缘政治区域 and 那个 正实数那个 时间位置 holdsDuring


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners