Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasureFn
MeasureFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2434-2436
No TPTP formula. May not be expressible in strict first order. Merge.kif 6353-6357
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1125-1128
No TPTP formula. May not be expressible in strict first order. Merge.kif 6349-6349 O argumento numero 1 de MeasureFn e' uma instancia de Numero Real
No TPTP formula. May not be expressible in strict first order. Merge.kif 6350-6350 O argumento numero 2 de MeasureFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 6347-6347 MeasureFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 6348-6348 MeasureFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 6351-6351 O contra-dominio de MeasureFn e' uma instancia de Quantidade Fisica

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 633-633
No TPTP formula. May not be expressible in strict first order. english_format.kif 636-636
No TPTP formula. May not be expressible in strict first order. french_format.kif 383-383
No TPTP formula. May not be expressible in strict first order. relations-it.txt 178-178
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2113-2113
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 335-335
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 392-392
No TPTP formula. May not be expressible in strict first order. relations-de.txt 829-829
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 405-405
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 426-426
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36671-36671
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 634-634
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36670-36670
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36669-36669
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 353-353

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 7524-7530 Objeto auto-conectado e' uma instancia de LiquidDrop approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 500.0 e' menos que Numero Real Objeto auto-conectado e' uma instancia de Droplet
No TPTP formula. May not be expressible in strict first order. Geography.kif 7440-7451 Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) 10.0 e' maior que Numero Real Numero Real e' maior que 2.5 Objeto10 Objeto10 e' uma instancia de CoarseParticulateMatter Objeto10 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 7469-7479 Objeto e' uma instancia de ParticulateMatter Objeto auto-conectado e' uma &parte de Objeto approximateDiameter Objeto auto-conectado and Numero Real Micrometer(s) Numero Real e' maior ou igual a 2.5 Objeto25 Objeto25 e' uma instancia de FineParticulateMatter Objeto25 e' uma &parte de Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3731-3733 courseWRTTrueNorth Objeto, Objeto and 0.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3755-3757 courseWRTTrueNorth Objeto, Objeto and 135.0 AngularDegree(s) Objeto e' Southeast em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3739-3741 courseWRTTrueNorth Objeto, Objeto and 180.0 AngularDegree(s) Objeto e' South em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3759-3761 courseWRTTrueNorth Objeto, Objeto and 225.0 AngularDegree(s) Objeto e' Southwest em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3743-3745 courseWRTTrueNorth Objeto, Objeto and 270.0 AngularDegree(s) Objeto e' West em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3763-3765 courseWRTTrueNorth Objeto, Objeto and 315.0 AngularDegree(s) Objeto e' Northwest em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3747-3749 courseWRTTrueNorth Objeto, Objeto and 360.0 AngularDegree(s) Objeto e' North em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3751-3753 courseWRTTrueNorth Objeto, Objeto and 45.0 AngularDegree(s) Objeto e' Northeast em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Geography.kif 3735-3737 courseWRTTrueNorth Objeto, Objeto and 90.0 AngularDegree(s) Objeto e' East em relacao a Objeto
No TPTP formula. May not be expressible in strict first order. Weather.kif 1685-1691 Funcao de Quantidade e' igual a Numero Real MilesPerHour(s) Funcao de Quantidade e' igual a Numero Real Mile(s) por 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3051-3062 FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3002-3013 FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de CallOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3015-3026 FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) FinancialInstrumentPrice e' menos que Numero Real inTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3064-3075 FinancialInstrument FinancialInstrumentPrice and Numero Real Agreement e' uma instancia de PutOption underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice Unidade de Medida(s) and AutonomousAgent Unidade de Medida e' uma instancia de UnitOfCurrency strikePrice Agreement and Numero Real Unidade de Medida(s) Numero Real e' menos que FinancialInstrumentPrice outOfTheMoney Agreement and AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1783-1787 hearingAcuity Humano, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1794-1798 hearingAcuity Humano, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1805-1809 hearingAcuity Humano, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1815-1819 hearingAcuity Humano, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1826-1830 hearingAcuity Humano, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1837-1841 hearingAcuity Humano, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1848-1852 hearingAcuity Humano, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss e' um atributo de Humano
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13632-13638 A medida de Fisico e' Numero Real MetricTon(s) a medida de Fisico e' Numero Real + 2205.0 PoundMass(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 2663-2673 Entidade e' uma instancia de Regiao Entidade tem um atributo de StandardAmbientTemperaturePressure vale durante Posicao Temporal airTemperature Entidade and 298.15 KelvinDegree(s) barometricPressure Entidade and 29.530 InchMercury(s) vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. People.kif 357-390 Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 238-264 Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 310-342 Ano e' uma instancia de o ano Numero Inteiro LifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM average Lista and Numero Real
No TPTP formula. May not be expressible in strict first order. Geography.kif 4711-4720 OpenSea e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior que 5.0
No TPTP formula. May not be expressible in strict first order. Cars.kif 1911-1916 compressionRatio Engine and Numero Real minCylinderVolume Engine and Numero Real Unidade de Medida(s) maxCylinderVolume Engine and Unidade de MedidaAX Unidade de Medida(s) Numero Real e' igual a Numero Real + Unidade de MedidaAX
No TPTP formula. May not be expressible in strict first order. Weather.kif 1685-1691 Funcao de Quantidade e' igual a Numero Real MilesPerHour(s) Funcao de Quantidade e' igual a Numero Real Mile(s) por 1 HourDuration(s)
No TPTP formula. May not be expressible in strict first order. Merge.kif 7794-7802 Objeto e' maior do que Objeto Numero Real Numero Real and Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13632-13638 A medida de Fisico e' Numero Real MetricTon(s) a medida de Fisico e' Numero Real + 2205.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 378-380 A medida de Fisico e' Numero Real AngularDegree(s) a medida de Fisico e' 60.0 + Numero Real ArcMinute(s)
No TPTP formula. May not be expressible in strict first order. Geography.kif 397-399 A medida de Fisico e' Numero Real ArcMinute(s) a medida de Fisico e' 60.0 + Numero Real ArcSecond(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13353-13358 A medida de Fisico e' Numero Real OunceMass(s) a medida de Fisico e' Numero Real + 16.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Economy.kif 1129-1137 sectorValueOfGDPInPeriod Area Geopolitica, IndustryAttribute, Numero Real Unidade de Medida(s) and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal sectorValueOfGDP Area Geopolitica, IndustryAttribute and Numero Real Unidade de Medida(s) vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 7597-7612
No TPTP formula. May not be expressible in strict first order. Geography.kif 2080-2090
No TPTP formula. May not be expressible in strict first order. Geography.kif 2092-2106
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18755-18764
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18770-18780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18786-18796
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18802-18812
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1186-1201
No TPTP formula. May not be expressible in strict first order. Government.kif 1096-1116
No TPTP formula. May not be expressible in strict first order. Geography.kif 659-669

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29409-29409 boilingPoint Actinium and 3470.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29257-29257 boilingPoint Aluminum and 2740.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29421-29421 boilingPoint Americium and 2880.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29333-29333 boilingPoint Antimony and 2023.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29267-29267 boilingPoint Argon and 87.29 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29297-29297 boilingPoint Arsenic and 886.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29401-29401 boilingPoint Astatine and 610.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29343-29343 boilingPoint Barium and 1913.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29239-29239 boilingPoint Beryllium and 3243.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29397-29397 boilingPoint Bismuth and 1833.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29241-29241 boilingPoint Boron and 2823.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29301-29301 boilingPoint Bromine and 331.93 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29327-29327 boilingPoint Cadmium and 1038.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29341-29341 boilingPoint Caesium and 963.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29271-29271 boilingPoint Calcium and 1760.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29243-29243 boilingPoint Carbon and 5100.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29347-29347 boilingPoint Cerium and 3530.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29265-29265 boilingPoint Chlorine and 238.55 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29279-29279 boilingPoint Chromium and 2755.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29285-29285 boilingPoint Cobalt and 3143.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29289-29289 boilingPoint Copper and 2868.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29363-29363 boilingPoint Dysprosium and 2608.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29367-29367 boilingPoint Erbium and 2783.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29357-29357 boilingPoint Europium and 1870.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29249-29249 boilingPoint Fluorine and 85.01 KelvinDegree(s)

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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