|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10337-10337 | The number 3 argument of heart rate is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5279-5279 | The number 2 argument of identity element is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2194-2194 | The number 2 argument of max cardinality is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2195-2195 | The number 3 argument of max cardinality is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 477-477 | The number 2 argument of maximum capacity is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18406-18406 | The number 2 argument of max value is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22635-22635 | 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 2157-2157 | The number 2 argument of min cardinality is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2158-2158 | The number 3 argument of min cardinality is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18388-18388 | The number 2 argument of min value 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 molecular ratio is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 739-739 | The number 2 argument of monoploid number is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4896-4896 | 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 4897-4897 | 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 2862-2862 | 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 2901-2901 | 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 2859-2859 | 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 703-703 | 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 2923-2923 | 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. | Medicine.kif 335-335 | The number 2 argument of resting breathing rate is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 115-115 | The number 2 argument of baseline heart rate is an instance of integer |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2738-2738 | 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 2068-2068 | 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 1905-1905 | 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. | FinancialOntology.kif 2226-2226 | The number 2 argument of split for is an instance of integer |
| 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