| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1438-1439 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14049-14051 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14047-14047 | 地理分区域 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14048-14048 | 地理分区域 的 2 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14044-14044 | 地理分区域 是 非对称关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14042-14042 | 地理分区域 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14043-14043 | 地理分区域 是 传递关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14046-14046 | 地理分区域 是 位于 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14045-14045 | 地理分区域 是 真正的部分 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1097-1097 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1096-1096 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1095-1095 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14089-14089 | 地缘政治分区 是 地理分区域 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25776-25776 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25775-25775 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25774-25774 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1964-1975 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1940-1954 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 349-357 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5380-5395 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23387-23391 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2264-2269 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 507-512 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24722-24727 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24729-24736 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24683-24688 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24690-24695 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24797-24802 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24804-24809 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2092-2106 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1964-1975 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1940-1954 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 493-498 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2516-2530 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 342-346 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8184-8197 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8207-8225 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2239-2249 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2178-2196 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2138-2152 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3515-3517 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3468-3470 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24775-24778 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24663-24666 |
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 888-893 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 619-625 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5348-5356 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2494-2494 | 阿达纳土耳其 是 火鸡 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2496-2496 | 亚的斯亚贝巴埃塞俄比亚 是 埃塞俄比亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2498-2498 | 腺也门 是 叶门 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2500-2500 | 阿多拉西岸 是 西方银行 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 567-567 | 阿富汗 是 南亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3525-3525 | 非洲 是 东半球 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2502-2502 | 阿富拉以色列 是 以色列 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2504-2504 | 阿格里土耳其 是 火鸡 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2506-2506 | Ain defla 阿尔及利亚 是 阿尔及利亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2508-2508 | Ain el hajar 阿尔及利亚 是 阿尔及利亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2510-2510 | Ajaccio 法国 是 法国 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2512-2512 | Al balamand 黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 370-370 | 阿尔巴尼亚 是 东南欧 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2514-2514 | Alei sinai 加沙地帶 是 加沙地带 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2516-2516 | Alei zahav 西方银行 是 西方银行 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2518-2518 | 阿莱黎巴嫩 是 黎巴嫩 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 116-116 | 阿尔及利亚 是 北非 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2520-2520 | 阿尔及尔，阿尔及利亚 是 阿尔及利亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2522-2522 | 烷烃蒙古包俄罗斯 是 俄国 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2524-2524 | Alon 是 西方银行 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2526-2526 | 安汶印度尼西亚 是 印度尼西亚 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 659-659 | 美国萨摩亚 是 大洋洲 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2528-2528 | 安曼，约旦 是 约旦 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2530-2530 | 一个 nuwaydirat 巴林 是 巴林 的 geographic 次要地区 |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2532-2532 | 安第斯西班牙 是 西班牙 的 geographic 次要地区 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
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