|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4743-4743 | The number 2 argument of division is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3012-3012 | The number 1 argument of document is an instance of proposition |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15509-15509 | The number 2 argument of edition is an instance of positive integer |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1685-1685 | The number 1 argument of election is an instance of agent |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1957-1957 | The number 1 argument of elevation high point is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1933-1933 | The number 1 argument of elevation low point is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2057-2057 | The number 1 argument of email domain part fn is an instance of email address |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2052-2052 | The number 1 argument of email local part fn is an instance of email address |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8010-8010 | The number 1 argument of end is an instance of time interval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5953-5953 | The number 1 argument of end node is an instance of graph path |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8934-8934 | The number 1 argument of Evening fn is an instance of day |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1149-1149 | The number 1 argument of exclusive fishing zone is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1321-1321 | The number 1 argument of executive branch is an instance of agent |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4819-4819 | The number 1 argument of exponentiation is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4820-4820 | The number 2 argument of exponentiation is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1181-1181 | The number 1 argument of extended fishing zone is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1761-1761 | The number 1 argument of extension is an instance of attribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 394-394 | The number 1 argument of female life expectancy at birth is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | People.kif 395-395 | The number 2 argument of female life expectancy at birth is an instance of year |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3226-3226 | The number 1 argument of first is an instance of list |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3697-3697 | The number 1 argument of fiscal year is an instance of agent |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3723-3723 | The number 1 argument of fiscal year starting is an instance of agent |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 887-887 | The number 1 argument of fit for military service male is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4828-4828 | The number 1 argument of floor is an instance of real number |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4893-4893 | The number 1 argument of flow is an instance of flow region |
| 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