| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3604-3606 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3603-3603 | 货币价值 的 2 数量 是 货币测量 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3602-3602 | 货币价值 的 1 数量 是 货币 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3601-3601 | 货币价值 是 二元谓语 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 616-616 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 615-615 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 614-614 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18102-18102 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18101-18101 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18100-18100 |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2908-2908 | 阿富汗阿富汗尼 是 阿富汗阿富汗硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2910-2910 | 英镑 是 英镑硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2912-2912 | 加拿大元 是 加拿大元硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2914-2914 | 欧元分 是 欧元硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2918-2918 | 法国法郎 是 法郎硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2920-2920 | 德国马克 是 德国马克硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2922-2922 | 意大利里拉 是 意大利里拉硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2924-2924 | 日圆 是 日元硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2926-2926 | 塔吉克索莫尼 是 塔吉克索莫尼硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2935-2935 | 10.0 美国分 是 美国分硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2929-2929 | 美国分 是 美国分硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2941-2941 | 美国美元 是 美国美元的钞票 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2932-2932 | 5.0 美国分 是 美国五美分硬币 的 currency 價值 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2938-2938 | 25.0 美国分 是 美国四分之一硬币 的 currency 價值 |
|
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