|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10337-10337 | O argumento numero 3 de heartRate e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5279-5279 | O argumento numero 2 de identityElement e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2194-2194 | O argumento numero 2 de maxCardinality e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2195-2195 | O argumento numero 3 de maxCardinality e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 477-477 | O argumento numero 2 de maxRoomCapacity e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18406-18406 | O argumento numero 2 de maxValue e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22635-22635 | O argumento numero 2 de memberCount e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2157-2157 | O argumento numero 2 de minCardinality e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2158-2158 | O argumento numero 3 de minCardinality e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18388-18388 | O argumento numero 2 de minValue e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1769-1769 | O argumento numero 2 de molecularRatio e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 739-739 | O argumento numero 2 de monoploidNumber e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4896-4896 | O argumento numero 1 de multiplicativeFactor e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4897-4897 | O argumento numero 2 de multiplicativeFactor e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2862-2862 | O argumento numero 2 de numberAdultOccupant e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2901-2901 | O argumento numero 2 de numberChildOccupant e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2859-2859 | O argumento numero 2 de numberOccupant e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 703-703 | O argumento numero 2 de numberOfFloors e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2923-2923 | O argumento numero 2 de numberSeniorOccupant e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 335-335 | O argumento numero 2 de restingBreathingRate e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 115-115 | O argumento numero 2 de restingHeartRate e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2738-2738 | O argumento numero 2 de roomStay e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2068-2068 | O argumento numero 2 de seatsInOrganizationCount e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1905-1905 | O argumento numero 3 de seatsWonInElection e' uma instancia de Numero Inteiro |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2226-2226 | O argumento numero 2 de splitFor e' uma instancia de Numero Inteiro |
| 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