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

Formal Language: 



KB Term:  Term intersection
English Word: 

  <=>

 Sigma KEE - <=>
<=>

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5421-5425

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6062-6068
No TPTP formula. May not be expressible in strict first order. Merge.kif 16906-16912
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7466-7473
No TPTP formula. May not be expressible in strict first order. Merge.kif 8452-8461
No TPTP formula. May not be expressible in strict first order. Merge.kif 267-272
No TPTP formula. May not be expressible in strict first order. Merge.kif 281-286
No TPTP formula. May not be expressible in strict first order. Merge.kif 9859-9868
No TPTP formula. May not be expressible in strict first order. Merge.kif 9839-9846
No TPTP formula. May not be expressible in strict first order. Merge.kif 9818-9825
No TPTP formula. May not be expressible in strict first order. Merge.kif 260-265
No TPTP formula. May not be expressible in strict first order. Merge.kif 274-279

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1018-1022 accountHolder FinancialAccount and Agente Cognitivo Agente Cognitivo e' uma instancia de Empresa FinancialAccount e' uma instancia de CorporateAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 996-1000 accountHolder FinancialAccount and Agente Cognitivo Agente Cognitivo e' uma instancia de Humano FinancialAccount e' uma instancia de PersonalAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 642-646 agreementPeriod FinancialAccount and Intervalo Temporal Dia termina em Intervalo Temporal maturityDate FinancialAccount and Dia
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1462-1467 A altitude de Aircraft e' Objeto auto-conectado Objeto auto-conectado e' uma superficie de PlanetEarth Aircraft e' uma instancia de Aircraft absoluteHeight Aircraft and AltitudeMeasure
No TPTP formula. May not be expressible in strict first order. Merge.kif 4768-4779 O valor absoluto de Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real Numero Real nao-negativo e' uma instancia de Numero Real Numero Real e' uma instancia de Numero Real nao-negativo Numero Real e' igual a Numero Real nao-negativo Numero Real e' uma instancia de Numero Real negativo Numero Real nao-negativo e' igual a (0.0 + Numero Real)
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2321-2326 FinancialAccount e' uma instancia de FinancialAccount Agente Cognitivo possui FinancialAsset FinancialAccount e' igual a AccountFn FinancialAsset accountHolder FinancialAccount and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1007-1011 Entidade e' uma instancia de PersonalAccount o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' maior que 1 Entidade e' uma instancia de JointAccount
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30166-30176 Entidade e' uma instancia de Parte do Corpo Bare e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa covers Entidade and Entidade vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 12488-12495 Processo e' uma instancia de Combinar Objeto e' um recurso para Processo Entidade e' o resultado de Processo Objeto e' uma &parte de Entidade vale durante o comeco de tempo de existencia de Processo Objeto e' uma &parte de Entidade vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26317-26328 Processo e' uma instancia de Photocopying ContentBearingPhysical e' um patient de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao ContentBearingPhysical Proposicao ContentBearingPhysical e' o resultado de Processo ContentBearingPhysical e' uma instancia de VisualContentBearingObject ContentBearingPhysical contem informacao Proposicao Proposicao e' igual a Proposicao
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. ComputerInput.kif 1789-1793 Entidade e' uma instancia de WindowScrolling Entidade e' uma instancia de UserSignifiedGraphicalAction Entidade e' uma instancia de WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1818-1828 Processo e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order. Weather.kif 2676-2686 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 82-97 Ano e' uma instancia de o ano Numero Inteiro BirthsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 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 118-133 Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real PopulationFn Area Geopolitica + 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 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. People.kif 156-187 Ano e' uma instancia de o ano Numero Inteiro MigrantsPerThousandFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero Inteiro) e' igual a 1 Entidade e' uma instancia de o ano Numero Inteiro PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano Numero Real + 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 e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ( Numero Inteiro + Numero Inteiro) e' igual a Numero Real Numero Real + Numero Real e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. People.kif 52-64 Ano e' uma instancia de o ano Numero Inteiro PopulationGrowthFn Area Geopolitica and Ano e' igual a Numero Real ( Numero Inteiro + Numero InteiroP) e' igual a 1 Posicao Temporal e' uma instancia de o ano Numero InteiroP PopulationFn Area Geopolitica e' igual a Numero Real vale durante Ano PopulationFn Area Geopolitica e' igual a Numero Real vale durante Posicao Temporal Numero Real + Numero Real e' igual a Numero Real ( Numero Real + 1) e' igual a Numero Real
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24789-24794 PostalPlace e' situado em PostcodeArea PostalPlace e' uma instancia de PostalPlace PostcodeArea e' uma instancia de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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