|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13469-13469 | O argumento numero 1 de ImpairmentFn e' uma sub-classe de Processo Fisiologico |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2000-2000 | O argumento numero 1 de InfectionFn e' uma sub-classe de Microorganismo |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 400-400 | O argumento numero 1 de InjuryCausedFn e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 2599-2599 | O argumento numero 1 de JuiceOfFn e' uma sub-classe de Fruta ou Vegetal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18371-18371 | O argumento numero 1 de MakingFn e' uma sub-classe de Fazer |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6321-6321 | O argumento numero 1 de MeasuringProcessFn e' uma sub-classe de Processo |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8640-8640 | O argumento numero 2 de MinuteFn e' uma sub-classe de Hora |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8571-8571 | O argumento numero 1 de MonthFn e' uma sub-classe de Mes |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8572-8572 | O argumento numero 2 de MonthFn e' uma sub-classe de Ano |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1521-1521 | O argumento numero 1 de NetworkCommunicationFn e' uma sub-classe de ComputerNetwork |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5249-5249 | O argumento numero 1 de OrganicObjectFn e' uma sub-classe de Objeto Organico |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14662-14662 | O argumento numero 1 de PeriodicalIssueFn e' uma sub-classe de Periodico |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3352-3352 | O argumento numero 1 de PlantFn e' uma sub-classe de PlantAnatomicalStructure |
| No TPTP formula. May not be expressible in strict first order. | Music.kif 827-827 | O argumento numero 1 de PlayingInstrumentFn e' uma sub-classe de Aparelho |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1359-1359 | O argumento numero 1 de PressingKeyFn e' uma sub-classe de ComputerKeyboardKey |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8969-8969 | O argumento numero 2 de QuarterFn e' uma sub-classe de Ano |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 186-186 | O argumento numero 1 de ReceivingAnObjectFn e' uma sub-classe de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8444-8444 | O argumento numero 1 de RecurrentTimeIntervalFn e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8445-8445 | O argumento numero 2 de RecurrentTimeIntervalFn e' uma sub-classe de Intervalo Temporal |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8667-8667 | O argumento numero 2 de SecondFn e' uma sub-classe de Minuto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13489-13489 | O argumento numero 1 de SenseImpairmentFn e' uma sub-classe de Percepcao |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13509-13509 | O argumento numero 1 de SenseInabilityFn e' uma sub-classe de Percepcao |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14617-14617 | O argumento numero 1 de SeriesVolumeFn e' uma sub-classe de Serie |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2887-2887 | O argumento numero 1 de ShortageFn e' uma sub-classe de Objeto |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9374-9374 | O argumento numero 2 de TemporalCompositionFn e' uma sub-classe de Intervalo Temporal |
| 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