| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3739-3741 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16714-16718 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16712-16712 | 政府函数 的 1 数量 是 地缘政治区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16711-16711 | 政府函数 是 部分值关系 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16710-16710 | 政府函数 是 一元函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16713-16713 | 政府函数 的 range 是 政府 的实例 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 802-802 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 811-811 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 482-482 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 812-812 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 434-434 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 504-504 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26298-26298 | |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 803-803 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26297-26297 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 26296-26296 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 148-152 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1977-1985 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4675-4680 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4511-4519 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 121-125 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14060-14064 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2309-2317 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1513-1524 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 774-783 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1456-1462 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1465-1469 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2191-2196 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14079-14085 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1487-1494 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 163-183 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8333-8335 | 地缘政治区域 是 城市 的 instance 若且唯若 那个 地缘政治区域 的 Government 是 市政府 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8326-8328 | 地缘政治区域 是 州或省 的 instance 若且唯若 那个 地缘政治区域 的 Government 是 州政府 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4648-4657 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4486-4490 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4470-4478 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1313-1318 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1307-1311 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 352-357 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 256-264 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1336-1340 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2155-2159 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2050-2054 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 142-146 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14066-14070 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1346-1350 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1513-1524 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1471-1475 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2362-2369 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13888-13900 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 163-183 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2130-2135 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2124-2128 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2029-2033 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4614-4619 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 712-724 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4828-4828 | 国土安全部 是 美国 的 Government Organization 的一部分 |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1283-1283 | USFoodAndDrugAdministration 是 美国 的 Government Organization 的一部分 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2391-2391 | 美国国务院 是 美国 的 Government Organization 的一部分 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1949-1949 | 美国国会 是 美国 的 Government Organization 的一部分 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4855-4855 | 美国内政部 是 美国 的 Government Organization 的一部分 |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4850-4850 | 美国国务院 是 美国 的 Government Organization 的一部分 |
|
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