| appearance as argument number 1 |
|
| s__documentation(s__annualExportTotal__m,s__EnglishLanguage,'(annualExportTotal ?AREA ?AMOUNT) means that the total value of exports from the GeopoliticalArea ?AREA is ?AMOUNT (in UnitedStatesDollars) annually. Export value is calculated on a Free on Board (F.O.B.) basis.')
|
Economy.kif 2275-2279 | |
| s__domain(s__annualExportTotal__m,1,s__GeopoliticalArea)
|
Economy.kif 2272-2272 | |
| s__domain(s__annualExportTotal__m,2,s__CurrencyMeasure)
|
Economy.kif 2273-2273 | |
| s__instance(s__annualExportTotal__m,s__BinaryPredicate)
|
Economy.kif 2271-2271 |
| appearance as argument number 2 |
|
|
| s__format(s__EnglishLanguage,s__annualExportTotal__m,'%2 is %n an annual export total of %1')
|
domainEnglishFormat.kif 53-53 | |
| s__termFormat(s__EnglishLanguage,s__annualExportTotal__m,'annual export total')
|
domainEnglishFormat.kif 1716-1716 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2292-2299 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2281-2290 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners