| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2158-2161 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4431-4435 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 815-819 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4428-4428 | 命名 的 1 数量 是 符号串 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4429-4429 | 命名 的 2 数量 是 实体 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4427-4427 | 命名 是 二元谓语 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4426-4426 | 命名 是 提到 的 subrelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 309-309 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 314-314 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 177-177 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1997-1997 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 129-129 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 197-197 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3424-3424 | agentName 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23214-23214 | 别号 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27217-27217 | 传统的长名 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27228-27228 | 传统的短名称 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14725-14725 | 姓 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2205-2205 | filename 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14718-14718 | 以前的名字 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3290-3290 | fullName 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14742-14742 | 给予的名称 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14757-14757 | 当地的长名 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14762-14762 | 本地简称 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14738-14738 | 中间名字 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3337-3337 | nameIndexOrder 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2095-2095 | 密码 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14705-14705 | 标题 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4437-4437 | 唯一识别符号 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2058-2058 | userName 是 命名 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39669-39669 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3406-3411 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3374-3380 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3339-3344 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3429-3433 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3446-3450 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3480-3484 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13257-13262 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24632-24643 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24645-24655 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24584-24586 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3218-3226 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 31-33 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia 的名 是 "Republic of Serbia" 和 时间位置 是 5 day 的 instance 在 那个 时间位置 之后 holdsDuring |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | 时间位置 是 3 day 的 instance 和 Montenegro 的名 是 "Montenegro" 在 那个 时间位置 之后 holdsDuring |
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2495-2495 | 阿达纳土耳其 的名 是 "Adana" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2497-2497 | 亚的斯亚贝巴埃塞俄比亚 的名 是 "Addis Ababa" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2499-2499 | 腺也门 的名 是 "Aden" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2501-2501 | 阿多拉西岸 的名 是 "Adora" |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 352-352 | 发达的先进国家 的名 是 "Advanced Developing Country" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4160-4160 | 阿富汗 的名 是 "Afghanistan" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3522-3522 | 非洲 的名 是 "Africa" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2503-2503 | 阿富拉以色列 的名 是 "Afula" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2505-2505 | 阿格里土耳其 的名 是 "Agri" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2507-2507 | Ain defla 阿尔及利亚 的名 是 "Ain Defla" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2509-2509 | Ain el hajar 阿尔及利亚 的名 是 "Ain el Hajar" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2511-2511 | Ajaccio 法国 的名 是 "Ajaccio" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2513-2513 | Al balamand 黎巴嫩 的名 是 "Al-Balamand " |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4064-4064 | 阿尔巴尼亚 的名 是 "Albania" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2515-2515 | Alei sinai 加沙地帶 的名 是 "Alei Sinai" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2517-2517 | Alei zahav 西方银行 的名 是 "Alei Zahav" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2519-2519 | 阿莱黎巴嫩 的名 是 "Aley" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3946-3946 | 阿尔及利亚 的名 是 "Algeria" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2521-2521 | 阿尔及尔，阿尔及利亚 的名 是 "Algiers" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2523-2523 | 烷烃蒙古包俄罗斯 的名 是 "Alkhan-Yurt" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2525-2525 | Alon 的名 是 "Alon Moreh" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2527-2527 | 安汶印度尼西亚 的名 是 "Ambon" |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 813-813 | 美式足球赛 的名 是 "American Football" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4194-4194 | 美国萨摩亚 的名 是 "American Samoa" |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2529-2529 | 安曼，约旦 的名 是 "Amman" |
| 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