|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 985-985 | 域 期間平均溫度, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1527-1527 | 域 beliefGroupPercentInRegion, 3 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2611-2611 | 域 棲息地的生物指示器, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 964-964 | 域 聲稱領土, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1245-1245 | 域 地區氣候類型, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1657-1657 | 域 地區寒冷季節, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 646-646 | 域 比較區域, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 650-650 | 域 比較區域, 4 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1637-1637 | 域 該地區涼爽的季節, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 544-544 | 域 deliveryRegion, 2 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1626-1626 | 域 地區乾燥的季節, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2455-2455 | 域 區域環境問題類型, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1546-1546 | 域 ethnicityPercentInRegion, 3 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14047-14047 | 域 地理分區域, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14048-14048 | 域 地理分區域, 2 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30379-30379 | 域 habitatOfOrganism, 2 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 997-997 | 域 期間最高溫度, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1647-1647 | 域 該地區炎熱的季節, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2209-2209 | 域 灌溉土地面積, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 538-538 | 域 僅限陸地面積, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1565-1565 | 域 languagePercentInRegion, 3 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 174-174 | 域 寬軌鐵路的長度, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 705-705 | 域 原油管道長度, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 202-202 | 域 雙軌鐵路的長度, 1 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 118-118 | 域 電氣化鐵路的長度, 1 and GeographicArea |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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