| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2327-2327 | "AED" in ISO_4217_A denotes united arab emirate dirham |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2328-2328 | "AFA" in ISO_4217_A denotes afghan afghani |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2329-2329 | "ALL" in ISO_4217_A denotes albanian lek |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2330-2330 | "AMD" in ISO_4217_A denotes armenian dram |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2332-2332 | "AOA" in ISO_4217_A denotes angolan kwanza |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2334-2334 | "ATS" in ISO_4217_A denotes austrian schilling |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2298-2298 | "AUD" in ISO_4217_A denotes australian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2336-2336 | "AZM" in ISO_4217_A denotes azerbaijani manat |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2338-2338 | "BBD" in ISO_4217_A denotes barbados dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2339-2339 | "BDT" in ISO_4217_A denotes bangladeshi taka |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2340-2340 | "BEF" in ISO_4217_A denotes belgian franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2341-2341 | "BGN" in ISO_4217_A denotes bulgarian lev |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2342-2342 | "BHD" in ISO_4217_A denotes bahrainian dinar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2343-2343 | "BIF" in ISO_4217_A denotes burundi franc |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2344-2344 | "BMD" in ISO_4217_A denotes bermuda dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2345-2345 | "BND" in ISO_4217_A denotes brunei dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2346-2346 | "BOB" in ISO_4217_A denotes bolivian boliviano |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2348-2348 | "BRL" in ISO_4217_A denotes brazilian real |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2349-2349 | "BSD" in ISO_4217_A denotes bahamian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2350-2350 | "BTN" in ISO_4217_A denotes bhutanese ngultrum |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2299-2299 | "BWP" in ISO_4217_A denotes botswana pula |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2351-2351 | "BYR" in ISO_4217_A denotes belarusian rubel |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2352-2352 | "BZD" in ISO_4217_A denotes belize dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2300-2300 | "CAD" in ISO_4217_A denotes canadian dollar |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2353-2353 | "CDF" in ISO_4217_A denotes congo franc |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65030-65030 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2889-2895 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2316-2318 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2286-2291 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2320-2322 |
|
|
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