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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - instance
instance

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1359-1361
No TPTP formula. May not be expressible in strict first order. Merge.kif 84-87
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 17-20
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 17-20
No TPTP formula. May not be expressible in strict first order. Merge.kif 81-81 O argumento numero 1 de instance e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 82-82 O argumento numero 2 de instance e' uma instancia de Classe
No TPTP formula. May not be expressible in strict first order. Merge.kif 80-80 instance e' uma instancia de Predicado Binario

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order. english_format.kif 310-310
No TPTP formula. May not be expressible in strict first order. french_format.kif 175-175
No TPTP formula. May not be expressible in strict first order. relations-it.txt 149-149
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1995-1995
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 127-127
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 173-173
No TPTP formula. May not be expressible in strict first order. relations-de.txt 400-400
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 188-188
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 195-195
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 184-184
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 302-302
No TPTP formula. May not be expressible in strict first order. Merge.kif 1281-1281 member e' relacionado internamente por SUMO a instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5414-5414 element e' uma sub-relacao de instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 89-89 immediateInstance e' uma sub-relacao de instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30247-30247
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 306-306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30246-30246
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30245-30245
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 303-303

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


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. 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 4769-4780 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 30202-30212 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 12512-12519 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 26362-26373 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 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 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 24847-24852 PostalPlace e' situado em PostcodeArea PostalPlace e' uma instancia de PostalPlace PostcodeArea e' uma instancia de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24820-24825 PostalPlace e' situado em Cidade PostalPlace e' uma instancia de PostalPlace Cidade e' uma instancia de Cidade postCity PostalPlace and Cidade

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. 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. Merge.kif 4769-4780 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 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 30202-30212 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. Mid-level-ontology.kif 26362-26373 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. 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. Economy.kif 1517-1522 annualExpendituresOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualExpendituresOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Economy.kif 1488-1493 annualRevenuesOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal annualRevenuesOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 744-755 PolyphonicMusic e' um atributo de Objeto Processo Processo Objeto e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' uma instancia de MakingMusic Processo e' um sub-processo de Objeto Processo e' um sub-processo de Objeto Processo e' igual a Processo Processo acontece ao mesmo tempo que Objeto Processo acontece ao mesmo tempo que Objeto
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. FinancialOntology.kif 3943-3948 bankAccount FinancialAccount and BankFinancialOrganization FinancialAccount FinancialAccount e' uma instancia de FinancialAccount accountAt FinancialAccount and BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order. Economy.kif 1565-1570 capitalExpendituresOfAreaInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal capitalExpendituresOfArea Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Economy.kif 3661-3666 currencyExchangePerUSDollar Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal currencyExchangeRate UnitedStatesDollar and Medida de Divisa vale durante Posicao Temporal

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. Geography.kif 3193-3193 agreementEffectiveDate AntarcticTreaty and ?D e' uma instancia de o dia 23
No TPTP formula. May not be expressible in strict first order. People.kif 456-469 Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Government.kif 1205-1212 ?AGENT ?VOTER, ?ELECTION and ?VOTING contem informacao ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order. Government.kif 887-895 ?COUNTRY ?ELECTION, ?VOTING and ?VOTER contem informacao VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order. Government.kif 1056-1067 ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE contem informacao UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order. Government.kif 1124-1138 ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE contem informacao CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 biochemicalAgentSyndrome ?AGENT and ?SYMPTOM biochemicalAgentAntidote ?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma instancia de ?SUBSTANCE ?THERAPY e' uma instancia de ?PROCESS ?ORGANISM experimenta ?THERAPY ?SAMPLE e' um patient de ?THERAPY diminui a probabilidade de ?SYMPTOM e' um atributo de ?ORGANISM
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18229-18246 ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma instancia de PaperShredder ?CUT e' uma instancia de Cortar ?X e' um instrumento para ?CUT ?PAPER e' uma instancia de Paper ?PAPER e' um patient de ?CUT ?CBO e' situado em ?PAPER ?CBO e' uma instancia de VisualContentBearingObject ?CBO contem informacao ?INFO diminui a probabilidade de ?READ ?READ e' uma instancia de Interpreting ?INFO e' um patient de ?READ tempo de existencia de ?CUT acontence antes de tempo de existencia de ?READ
No TPTP formula. May not be expressible in strict first order. Military.kif 863-872 AvailableForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Military.kif 886-897 FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31766-31771 OrganismPopulationFn Organismo and Area Geografica e' igual a o numero de instancias dentro de a classe descrita por OrganismoI
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31744-31749 PopulationFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Military.kif 924-937 ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4559-4564 Processo Entidade Processo e' uma instancia de Disseminar Processo e' um agente de Netflix Entidade e' um patient de Processo Entidade e' uma instancia de Filme
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4566-4569 Processo Processo e' uma instancia de FilmMaking Processo e' um agente de Netflix
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2453-2457 Posicao Temporal Posicao Temporal e' uma instancia de o ano 1976 coworker SteveJobsOfApple and SteveWozniakOfApple vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2441-2445 Posicao Temporal Posicao Temporal e' uma instancia de o ano 2002 coworker SteveJobsOfApple and TimCookOfApple vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 825-826 Entidade Entidade e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Media.kif 1970-1978 Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em tempo de existencia de JesusOfNazareth Intervalo Temporal comeca em tempo de existencia de TwelveApostles Entidade
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3309-3315 IBookstore tem por fim ?D ?D e' uma instancia de DownloadingOverNetwork IBookstore e' um instrumento para ?D ?T e' uma instancia de Texto objectTransferred ?D and ?T
No TPTP formula. May not be expressible in strict first order. Media.kif 2501-2504 Serbia e' uma instancia de EuropeanNation Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Media.kif 2496-2499 Serbia e' uma instancia de IndependentState Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Media.kif 2506-2509 Serbia se chama nome "Republic of Serbia" Posicao Temporal e' uma instancia de o dia 5 vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Media.kif 2528-2531 Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de EuropeanNation vale durante apos Posicao Temporal
No TPTP formula. May not be expressible in strict first order. Media.kif 2523-2526 Posicao Temporal e' uma instancia de o dia 3 Montenegro e' uma instancia de IndependentState vale durante apos Posicao Temporal

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1177-1177 CellPartFn Celula and CellPart e' uma instancia de CellPart
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 1166-1166 ViralPartFn Virus and VirusPart e' uma instancia de VirusPart
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2520-2520 AAA-Rating e' uma instancia de FinancialRating
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3220-3220 ABPFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4417-4417 ABTest e' uma instancia de ExperimentAttribute
No TPTP formula. May not be expressible in strict first order. Languages.kif 5379-5379 APucikwarLanguage e' uma instancia de CentralGreatAndamaneseLanguage
No TPTP formula. May not be expressible in strict first order. Government.kif 2838-2838 ASEANRegionalForum e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3265-3265 ASPFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2122-2122 ATandTCorp e' uma instancia de Empresa
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6421-6421 AVPUAlertStatus e' uma instancia de AVPUStatus
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6461-6461 AVPUPainStatus e' uma instancia de AVPUStatus
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6484-6484 AVPUUnresponsiveStatus e' uma instancia de AVPUStatus
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6439-6439 AVPUVerbalStatus e' uma instancia de AVPUStatus
No TPTP formula. May not be expressible in strict first order. Media.kif 2560-2560 AalandIslands e' uma instancia de Archipelago
No TPTP formula. May not be expressible in strict first order. Media.kif 2561-2561 AalandIslands e' uma instancia de DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order. Languages.kif 3771-3771 AariyaLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2966-2966 AbbVie e' uma instancia de Empresa
No TPTP formula. May not be expressible in strict first order. People.kif 1209-1209 Abbot e' uma instancia de ReligiousPosition
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3851-3851 AbbottLaboratories e' uma instancia de Empresa
No TPTP formula. May not be expressible in strict first order. Languages.kif 2923-2923 AbinomnLanguage e' uma instancia de SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 3777-3777 AbishiraLanguage e' uma instancia de UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14550-14550 AbkhazLanguage e' uma instancia de NorthCaucasianLanguage
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2410-2410 AbortedFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2476-2476 AbortedLaunchFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2430-2430 AbortedMissionFn e' uma instancia de Funcao Binaria

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