No TPTP formula. May not be expressible in strict first order.	Food.kif 2883-2889	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de AnimalFat Objeto e' uma sub-classe de Tecido Gorduroso initialPart Objeto and Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4967-4972	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de CoffeeBean Objeto e' uma sub-classe de Seed initialPart Objeto and CoffeePlant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5031-5037	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de CocoaBean Objeto e' uma sub-classe de Seed initialPart Objeto and CocoaTree
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5831-5839	equal ClosedLineSegment and ChordOfACircle endPointsOfLine GeometricPoint, GeometricPoint and ClosedLineSegment GeometricFigure equal GeometricFigure and Circle GeometricPoint e' um ponto de GeometricFigure GeometricPoint e' um ponto de GeometricFigure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5846-5852	equal GeometricFigure and ChordOfACircle CenterOfCircleFn Circle e' um ponto de GeometricFigure equal Circle and Circle equal GeometricFigure and DiameterLine
No TPTP formula. May not be expressible in strict first order.	Media.kif 195-200	equal Obter and ReceivingAnObjectFn Objeto equal Obter and ReceivingAnObjectFn Objeto Objeto e' uma sub-classe de Objeto Obter e' uma sub-classe de Obter
No TPTP formula. May not be expressible in strict first order.	Music.kif 938-948	equal DataStorageDevice and AlbumCopiesFn Album and DataStorageDeviceS DataStorageDevice e' uma instancia de DataStorageDevice Objeto Objeto e' um membro de Album Objeto Representendo Conteudo Abstrato Objeto Representendo Conteudo Abstrato e' uma copia exata de Objeto stored Objeto Representendo Conteudo Abstrato and DataStorageDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19914-19929	equal Organizacao and DepartmentOfFn Organizacao and Fisico Organizacao2 e' uma parte da organizacao Organizacao equal Organizacao and Organizacao2 Entidade e' uma instancia de Fisico Organizacao esta' interessado em Entidade equal Numero Real and a probabilidade de Entidade e' um agente de Organizacao equal Entidade2 and a probabilidade de Entidade e' um agente de Organizacao2 Numero Real e' maior que Entidade2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19972-19977	equal Organizacao and DepartmentOfPreventingFn Organizacao and Fisico Fisico e' uma sub-classe de Processo Organizacao e' uma parte da organizacao Organizacao Organizacao inhibe Fisico
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4091-4101	equal Intervalo Temporal and FiscalYearStartingFn AutonomousAgent and Ano fiscalYearPeriod AutonomousAgent and Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal Posicao Temporal Intervalo Temporal e' uma instancia de Dia Intervalo Temporal comeca em Intervalo Temporal Posicao Temporal e' uma instancia de Ano Intervalo Temporal e' uma &parte de Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4085-4089	equal Intervalo Temporal and FiscalYearStartingFn AutonomousAgent and Ano fiscalYearPeriod AutonomousAgent and Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2636-2644	equal Objeto and LineFn Objeto and Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto equal Objeto and Objeto equal Objeto2 and LineFn Objeto and Objeto Objeto2 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 289-296	equal Lista and Lista equal Lista and (@ROW1) equal Lista and (@ROW2) equal Entidade elemento de (@ROW1) and Entidade elemento de (@ROW2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3096-3115	equal Lista and a lista composta de Lista e Lista equal Lista and NullList equal Lista and NullList Inteiro positivo e' menor ou igual a comprimento de Lista Inteiro positivo e' menor ou igual a comprimento de Lista Inteiro positivo e' uma instancia de Inteiro positivo Inteiro positivo e' uma instancia de Inteiro positivo equal Inteiro positivoth elemento de Lista and Inteiro positivoth elemento de Lista equal (comprimento de Lista + Inteiro positivo)th elemento de Lista and Inteiro positivoth elemento de Lista
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5285-5290	equal Objeto and OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Carne Objeto Organico e' uma sub-classe de Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4503-4509	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de Malt Objeto e' uma sub-classe de CerealGrain initialPart Objeto and CerealGrass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5798-5807	equal OneDimensionalFigure and MajorArc o lado de GeometricFigure e' OneDimensionalFigure equal GeometricFigure and CircleSector angleOfFigure TwoDimensionalAngle and GeometricFigure angularMeasure TwoDimensionalAngle and Numero Real AngularDegree(s) Numero Real e' maior que 180 Numero Real e' menos que 360
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 862-866	equal RadiationMeasure and Numero Real Rad(s) a medida de Objeto e' RadiationMeasure absorbedDose Objeto and RadiationMeasure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5782-5791	equal OneDimensionalFigure and MinorArc o lado de GeometricFigure e' OneDimensionalFigure equal GeometricFigure and CircleSector angleOfFigure TwoDimensionalAngle and GeometricFigure angularMeasure TwoDimensionalAngle and Numero Real AngularDegree(s) Numero Real e' maior que 0 Numero Real e' menos que 180
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3994-4001	equal Objeto and NorthPole Objeto e' situado em ArcticRegion Objeto axis Objeto and PlanetEarth Objeto traversa Objeto
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2569	equal NumberList and PhysicalQuantityToNumberFn MeasuringResultList equal Quantidade Fisica and Entidade elemento de MeasuringResultList equal Numero Real and Entidade elemento de NumberList equal Numero Real Unidade de Medida(s) and Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4870-4881	equal Objeto and OrganicObjectFn Objeto Objeto e' uma sub-classe de OilFromPlant Objeto e' uma sub-classe de Seed Objeto e' uma sub-classe de Fruit Objeto Objeto e' uma sub-classe de Planta Florindo initialPart Objeto and Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5471-5476	equal TwoDimensionalAngle and ObliqueAngle angularMeasure TwoDimensionalAngle and Numero Real AngularDegree(s) Numero Real e' maior que 90.0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9657-9661	equal Objeto and a uniao das partes de Objeto e Objeto Objeto e' conectado com Objeto Objeto e' uma instancia de Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.	Media.kif 3052-3073	equal Sequencia Simbolica and ReverseFn Sequencia Simbolica equal Numero Inteiro nao-negativo and StringLengthFn Sequencia Simbolica Numero Inteiro nao-negativo e' maior que 1 Numero Inteiro nao-negativo e' maior que 0 Numero Inteiro nao-negativo e' menos que Numero Inteiro nao-negativo equal Numero Inteiro and o teto de ( Numero Inteiro nao-negativo + 1) + 2 equal Numero Inteiro nao-negativoEW and (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) equal Sequencia Simbolica and SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo) equal Sequencia Simbolica and SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)
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