No TPTP formula. May not be expressible in strict first order.	Merge.kif 18542-18547	defaultValue Predicado, Inteiro positivo and Quantidade Predicado @ARGS Entidade e' igual a Inteiro positivoth elemento de (@ARGS) o argumento Quantidade e' igual a Entidade tem a forca modal de Likely
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2839-2852	distanceOnPath Quantidade Constante and Transitway pathInSystem Transitway and TransitSystem routeStart Regiao and Transitway routeEnd Regiao and Transitway abstractCounterpart Caminho do Grafo and TransitSystem Grafo No' do Grafo and No' do Grafo Grafo e' um sub-grafo de Caminho do Grafo No' do Grafo e' igual a o comeco de Caminho do Grafo No' do Grafo e' igual a o fim de Caminho do Grafo abstractCounterpart No' do Grafo and Regiao abstractCounterpart No' do Grafo and Regiao
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1127-1140	Objeto e' um elemento de propriedade de Organizacao AnnexRoom e' um atributo de Objeto Objeto e' uma instancia de HotelRoom Objeto Objeto and Organizacao Organizacao e' uma parte da organizacao Organizacao Organizacao e' uma instancia de HotelFrontDesk Organizacao e' situado em Objeto Objeto e' um elemento de propriedade de Organizacao Objeto e' um elemento de propriedade de Organizacao Objeto e' uma &parte de Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4955-4960	CenterOfCircleFn Objeto e' igual a GeometricPoint GeometricPoint2 e' um ponto de Objeto geometricDistance GeometricPoint2, GeometricPoint and Medida de Comprimento RadiusFn Objeto e' igual a Medida de Comprimento
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4862-4873	O maior divisor comum de @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4875-4889	O maior divisor comum de @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' maior que Numero Inteiro Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4947-4957	O minimo multiplo comum de numero, de inteiro @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4959-4973	O minimo multiplo comum de numero, de inteiro @ROW e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro Numero Inteiro e' menos que Numero Inteiro Numero Inteiro Numero Inteiro e' um membro de (@ROW) Numero Inteiro mod Numero Inteiro e' igual a 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3220-3224	Comprimento de Lista e' igual a Inteiro positivo Inteiro positivoth elemento de Lista e' igual a Entidade LastFn Lista e' igual a Entidade
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5994-6007	O valor de Caminho do Grafo e' igual a Numero Real Arco do Grafo e' uma &parte de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Elemento do Grafo e' igual a Arco do Grafo o valor de Caminho do Grafo e' igual a ( Numero Real + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5980-5992	O valor de Caminho do Grafo e' igual a Numero Real Caminho do Grafo e' um sub-grafo de Caminho do Grafo Arco do Grafo e' uma &parte de Caminho do Grafo o valor de Arco do Grafo e' Numero Real Elemento do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' uma &parte de Caminho do Grafo Elemento do Grafo e' igual a Arco do Grafo Numero Real e' igual a (o valor de Caminho do Grafo + Numero Real)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5131-5143	Numero Inteiro mod Numero Inteiro e' igual a Numero Inteiro Numero Inteiro e' igual a 0 Numero Inteiro e' igual a 0 Numero Inteiro e' igual a 0 o sinal de Numero Inteiro e' igual a o sinal de Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5105-5116	Numero Inteiro mod Numero Inteiro e' igual a Numero Inteiro Numero Inteiro e' igual a 0 (o maior numero inteiro menor or igual a Numero Inteiro + Numero Inteiro + Numero Inteiro + Numero Inteiro) e' igual a Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3278-3285	Numero Real e' igual a AverageFn Lista comprimento de Lista e' maior que 0 Numero Real e' igual a ListSumFn Lista + comprimento de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3253-3257	Numero Real e' igual a ListSumFn Lista 1 e' igual a comprimento de Lista Numero Real e' igual a 1th elemento de Lista
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3259-3269	Numero Real e' igual a ListSumFn Lista comprimento de Lista e' maior que 1 Numero Real e' igual a (FirstFn Lista + ListSumFn SubListFn 2, comprimento de Lista and Lista)
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.	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.	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.	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.	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1459-1468	Numero Real e' igual a VarianceFn Lista Numero Real e' igual a AverageFn Lista Numero Real e' igual a VarianceAverageFn Numero Real and Lista + comprimento de Lista
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