|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18132-18132 | The number 2 argument of maxValue is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22057-22057 | The number 2 argument of member count is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2150-2150 | The number 2 argument of minCardinality is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2151-2151 | The number 3 argument of minCardinality is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18114-18114 | The number 2 argument of minValue is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1769-1769 | The number 2 argument of molecularRatio is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4800-4800 | The number 1 argument of multiplicative factor is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4801-4801 | The number 2 argument of multiplicative factor is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2831-2831 | The number 2 argument of number of adult occupants is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2870-2870 | The number 2 argument of number of child occupants is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2828-2828 | The number 2 argument of number of occupants is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 682-682 | The number 2 argument of number of floors is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2892-2892 | The number 2 argument of number of senior occupants is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2711-2711 | The number 2 argument of room stay is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2053-2053 | The number 2 argument of seats in organization count is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1890-1890 | The number 3 argument of seats won in election is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 919-919 | The number 2 argument of year of founding is an instance of integer |
|
|
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