No TPTP formula. May not be expressible in strict first order.	Economy.kif 3754-3764	Intervalo Temporal e' igual a 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 3748-3752	Intervalo Temporal e' igual a 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	Objeto e' igual a LineFn Objeto and Objeto Objeto e' uma &parte de Objeto Objeto e' uma &parte de Objeto Objeto e' igual a Objeto Objeto2 e' igual a LineFn Objeto and Objeto Objeto2 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order.	Merge.kif 295-302	Lista e' igual a Lista Lista e' igual a (@ROW1) Lista e' igual a (@ROW2) Entidade elemento de (@ROW1) e' igual a Entidade elemento de (@ROW2)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3084-3103	Lista e' igual a a lista composta de Lista e Lista Lista e' igual a NullList Lista e' igual a 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 Inteiro positivoth elemento de Lista e' igual a Inteiro positivoth elemento de Lista (comprimento de Lista + Inteiro positivo)th elemento de Lista e' igual a Inteiro positivoth elemento de Lista
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4945-4950	Objeto e' igual a 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 4166-4172	Objeto e' igual a 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.	MilitaryProcesses.kif 862-866	RadiationMeasure e' igual a 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.	Weather.kif 1821-1828	NumberList e' igual a PhysicalQuantityToNumberFn MeasuringResultList Quantidade Fisica e' igual a Entidade elemento de MeasuringResultList Numero Real e' igual a Entidade elemento de NumberList Numero Real Unidade de Medida(s) e' igual a Quantidade Fisica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4532-4543	Objeto e' igual a 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.	Merge.kif 9557-9561	Objeto e' igual a 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 3050-3071	Sequencia Simbolica e' igual a ReverseFn Sequencia Simbolica Numero Inteiro nao-negativo e' igual a 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 Numero Inteiro e' igual a o teto de ( Numero Inteiro nao-negativo + 1) + 2 Numero Inteiro nao-negativoEW e' igual a (( Numero Inteiro + Numero Inteiro nao-negativo) + Numero Inteiro) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativo and (1 + Numero Inteiro nao-negativo) Sequencia Simbolica e' igual a SubstringFn Sequencia Simbolica, Numero Inteiro nao-negativoEW and (1 + Numero Inteiro nao-negativoEW)
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5267-5276	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Objeto Objeto e' uma instancia de DeadFn Objeto Organico Objeto e' uma &parte de Objeto Objeto e' uma instancia de Objeto Organico
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Objeto Objeto Organico e' uma sub-classe de Organismo Objeto Organico e' uma sub-classe de Estructura Anatomica
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5032-5036	Objeto e' igual a OrganicObjectFn Objeto Organico Objeto e' uma sub-classe de Pelt Objeto Organico e' uma sub-classe de Skin
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22972-22977	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent benefits Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29646-29655	Ponto no tempo e' igual a o comeco de tempo de existencia de Processo Ponto no tempo e' igual a o fim de tempo de existencia de AutonomousAgent suffers Processo and AutonomousAgent Ponto no tempo comeca antes de Ponto no tempo
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3171-3178	Lista e' igual a SubListFn Numero Inteiro, Numero Inteiro and Lista ( Numero Inteiro + Numero Inteiro) e' igual a 0 Lista e' igual a NullList
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3180-3189	Lista e' igual a SubListFn Inteiro positivo, Numero Inteiro and Lista ( Numero Inteiro + Inteiro positivo) e' igual a 1 Lista e' igual a ( Inteiro positivoth elemento de Lista)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3191-3203	Lista e' igual a SubListFn Inteiro positivo, Numero Inteiro and Lista ( Numero Inteiro + Inteiro positivo) e' maior que 1 Lista e' igual a a lista composta de ( Inteiro positivoth elemento de Lista) e SubListFn (1 + Inteiro positivo), Numero Inteiro and Lista
No TPTP formula. May not be expressible in strict first order.	Food.kif 2906-2914	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Suet Objeto e' uma sub-classe de Tecido Gorduroso initialPart Objeto and Cattle initialPart Objeto and Sheep
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5041-5046	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Lambskin Objeto e' uma sub-classe de Skin initialPart Objeto and Lamb
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5051-5056	Objeto e' igual a OrganicObjectFn Objeto Objeto e' uma sub-classe de Sheepskin Objeto e' uma sub-classe de Skin initialPart Objeto and Sheep
No TPTP formula. May not be expressible in strict first order.	Music.kif 867-876	Song e' igual a SongFn MusicalComposition and LyricalContent Song exprime o conteudo de Processo Processo Processo MusicalComposition e' um patient de Processo LyricalContent e' um patient de Processo Processo e' um sub-processo de Processo Processo e' um sub-processo de Processo
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1988-2000	Lista e' igual a Mean3SecondWindSpeedListFn Area Geografica and Intervalo Temporal Funcao de Quantidade e' um membro de Lista Intervalo TemporalLIST Intervalo Temporal Intervalo TemporalLIST e' igual a TimeIntervalListFn Intervalo Temporal and 3 SecondDuration(s) Intervalo Temporal e' um membro de Intervalo TemporalLIST Funcao de Quantidade e' igual a Mean3SecondWindSpeedFn Area Geografica and 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