|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7221-7223 | Numero Real Quart(s) e' igual a Numero Real + 4 UnitedStatesGallon(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7316-7318 | Numero Real RankineDegree(s) e' igual a Numero Real + 1.8 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7304-7306 | Numero Real Slug(s) e' igual a Numero Real + 14593.90 Gram(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7257-7259 | Numero Real UnitedKingdomGallon(s) e' igual a Numero Real + 4.54609 Liter(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7391-7393 | Numero Real UnitedStatesCent(s) e' igual a Numero Real + 0.01 UnitedStatesDollar(s) |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7212-7214 | Numero Real UnitedStatesGallon(s) e' igual a Numero Real + 3.785411784 Liter(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31730-31735 | OrganismPopulationFn Organismo and Area Geografica e' igual a o numero de instancias dentro de a classe descrita por OrganismoI |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31708-31713 | PopulationFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4534-4534 | AccountCreationRejected e' igual a FailureFn CreatingAnAccount |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6976-6976 | AmericanState e' igual a GeographicPartTypeFn Estado ou Provincia and UnitedStates |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3681-3681 | AppleOrchard e' igual a FarmOfProductFn Apple |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12636-12636 | Sangue e' igual a FoodForFn Mosquito |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5188-5188 | BrainDead e' igual a DeadOrMissingBodyPartFn Brain |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1666-1666 | FallSeason e' igual a o periodo recorrente de Setembro a Novembro |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14895-14895 | Comida e' igual a FoodForFn Humano |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 4751-4751 | Glove e' igual a CoveringFn Hand |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11410-11410 | Pericarditis e' igual a InflammationFn Pericardium |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1664-1664 | SpringSeason e' igual a o periodo recorrente de Marco a Maio |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3973-3973 | SquareKilometer e' igual a SquareUnitFn 1 mil Meters |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3972-3972 | SquareMeter e' igual a SquareUnitFn Meter |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1665-1665 | SummerSeason e' igual a o periodo recorrente de June a Agosto |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2143-2143 | UnixEpoch e' igual a o segundo 0 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3685-3685 | Vineyard e' igual a FarmOfProductFn WineGrape |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1667-1667 | WinterSeason e' igual a o periodo recorrente de Dezembro a Fevereiro |
| 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