exists - Sigma Knowledge base Browser

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65827-65827

antecedent

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.	FinancialOntology.kif 3920-3926	Intervalo Temporal Loan e' uma instancia de Loan agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal loanInterest Loan and Interest
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 989-992	ComputerProcess programRunning ComputerProcess and Programa de Computador Programa de Computador tem um atributo de Executable
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 981-984	Numero fixedInterestRate FinancialAccount and Numero FinancialAccount e' uma instancia de FixedRateAccount
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 3034-3042	FinancialInstrument FinancialInstrumentPrice and Medida de Divisa Agreement e' uma instancia de Option underlier Agreement and FinancialInstrument price FinancialInstrument, FinancialInstrumentPrice and AutonomousAgent strikePrice Agreement and Medida de Divisa FinancialInstrumentPrice e' igual a Medida de Divisa atTheMoney 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 367-385	breathingRate AutonomousAgent, Intervalo Temporal and Numero Inteiro Intervalo Temporal e' uma instancia de Minuto Numero Inteiro Numero Inteiro e' uma instancia de Recreacao ou Exercicio Numero Inteiro e' um agente de AutonomousAgent Intervalo Temporal acontece durante tempo de existencia de Numero Inteiro HumanAdult e' um atributo de AutonomousAgent vale durante Intervalo Temporal Numero Inteiro e' maior que 16 Numero Inteiro e' menos que 12 Healthy e' um atributo de AutonomousAgent vale durante Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 130-150	customer Agente Cognitivo and AutonomousAgent corkageFee Medida de Divisa, Objeto and AutonomousAgent Objeto e' uma instancia de Objeto Processo Processo e' uma instancia de Comprar Objeto e' um patient de Processo Processo termina em Agente Cognitivo Processo tem como origem AutonomousAgent Processo e' uma instancia de Beber Processo e' um agente de Agente Cognitivo Objeto e' um recurso para Processo Processo Processo e' uma instancia de Corkage Processo e' um agente de Agente Cognitivo Processo inclui uma referencia a Objeto Processo termina em AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 336-350	facility AutonomousAgent and Objeto customer Agente Cognitivo and AutonomousAgent Entidade e' uma instancia de Objeto Agente Cognitivo deseja Entidade Entidade e' uma instancia de Processo Intencional Entidade e' um patient de Entidade Entidade e' um agente de Agente Cognitivo o argumento AutonomousAgent autoriza Agente Cognitivo a executar tarefas de tipo Agente Cognitivo usa Entidade tem a forca modal de Possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 853-866	PhysicalSystem e' uma instancia de Automobile PhysicalSystem e' uma instancia de Automobile Objeto e' uma instancia de AutomobileShock Objeto e' uma &parte de PhysicalSystem Objeto Objeto e' uma instancia de AutomobileShock Objeto e' uma &parte de PhysicalSystem dampingRatio PhysicalSystem and Numero Real dampingRatio PhysicalSystem and Numero Real Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Dining.kif 772-795	AutonomousAgent e' uma instancia de AutonomousAgent potentialCustomer Agente Cognitivo and AutonomousAgent o argumento Entidade e' uma instancia de Reserving Entidade termina em AutonomousAgent tem a forca modal de Necessity a probabilidade de EntidadeES1 EntidadeES1 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES1 fulfillingEntity AutonomousAgent and EntidadeES1 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real a probabilidade de EntidadeES2 EntidadeES2 e' uma instancia de Reservation reservingEntity Agente Cognitivo and EntidadeES2 fulfillingEntity AutonomousAgent and EntidadeES2 sabendo que customer Agente Cognitivo and AutonomousAgent vale e' Numero Real Numero Real e' menos que Numero Real
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 759-775	LiabilityAccount e' uma instancia de LiabilityAccount minimumPayment LiabilityAccount, Numero Real Unidade de Medida(s) and MonthDuration Unidade de Medida e' uma instancia de UnitOfCurrency Processo Intervalo Temporal Intervalo Temporal e' uma instancia de Mes Processo termina em CurrencyFn LiabilityAccount paymentsPerPeriod LiabilityAccount, Numero Real Unidade de Medida(s) and Intervalo Temporal Numero Real e' menos que Numero Real Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn LiabilityAccount
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5010-5019	Objeto e' uma instancia de Bubble Objeto Atributo Atributo e' um atributo de Objeto Objeto e' igual a Gas Objeto encontra Objeto ConvexRoundShape e' um atributo de Objeto
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3239-3259	Colecao e' uma instancia de Colecao Numero Real e' uma instancia de Medida de Divisa Numero Inteiro e' uma instancia de Numero Real Numero Real e' igual a GMBFn Colecao Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica ABPFn Colecao e' igual a Numero Real + Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Dining.kif 586-602	Processo e' uma instancia de CateringService Processo e' um agente de AutonomousAgent Processo termina em ProcessoUST AutonomousAgent e' situado em Objeto customer ProcessoUST and AutonomousAgent Processo Entidade and Processo Processo e' uma instancia de Cozinhar Processo e' um agente de AutonomousAgent Entidade e' o resultado de Processo Entidade e' um patient de Processo Processo e' uma instancia de Comer Processo e' um agente de ProcessoUST eventLocated Processo and Objeto Objeto e' igual a Objeto
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21766-21780	Objeto e' uma instancia de Substancia Composta Substancia Composta e' uma sub-classe de Substancia Composta Objeto Objeto e' uma instancia de Substancia Composta Objeto e' uma &parte de Objeto molecularRatio Substancia Elementar, Numero Inteiro and Substancia Composta Colecao e' uma instancia de Grupo Objeto e' membro de Colecao Objeto e' uma &parte de Objeto Objeto e' uma instancia de Substancia Elementar memberCount Colecao and Numero Inteiro
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3890-3906	Entidade e' uma instancia de Electromagnet Entidade Entidade Entidade e' uma instancia de Transferencia Entidade e' uma instancia de Electricity objectTransferred Entidade and Entidade Entidade e' o caminho ao longo do qual Entidade ocorre vale durante Entidade1 Entidade Entidade e' uma instancia de Magnetism Entidade e' um instrumento para Entidade vale durante Entidade1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1410-1429	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto e' uma instancia de Organismo Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1388-1406	Aparelho e' uma instancia de Gun Unidade de Medida e' uma instancia de UnitOfLength effectiveRange Aparelho and Numero Real Unidade de Medida(s) a distancia entre Aparelho e Objeto e' Numero Real1 Unidade de Medida(s) Objeto2 Objeto2 esta' entre Objeto e Aparelho Numero Real1 e' menor ou igual a Numero Real Sequencia Simbolica Aparelho e' capaz de fazer a classe descrita por Sequencia Simbolica no role instrument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1496-1518	Intervalo Temporal e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal_CLASS e' uma sub-classe de Processo AccessingWebPage e' uma instancia de AccessingWebPage AutonomousAgent e' uma instancia de AutonomousAgent Intervalo Temporal e' um agente de AutonomousAgent AccessingWebPage e' um agente de AutonomousAgent Intervalo Temporal acontece durante AccessingWebPage Fisico e' uma instancia de Intervalo Temporal Intervalo Temporal2 Intervalo Temporal2 e' uma instancia de Intervalo Temporal_CLASS Intervalo Temporal2 e' um agente de AutonomousAgent Intervalo Temporal2 acontece durante AccessingWebPage o comeco de tempo de existencia de Intervalo Temporal2 comeca antes de o comeco de tempo de existencia de Intervalo Temporal o comeco de tempo de existencia de AccessingWebPage e' igual a o comeco de tempo de existencia de Fisico o comeco de tempo de existencia de Intervalo Temporal e' igual a o fim de tempo de existencia de Fisico TTFxFn Intervalo Temporal_CLASS and AccessingWebPage e' igual a Fisico
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1409-1418	Processo e' uma instancia de TakingOff Entidade e' um patient de Processo Processo Processo e' uma instancia de Explosion Entidade e' um patient de Processo Entidade e' uma instancia de AbsoluteDud
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2956-2983	Colecao e' uma instancia de Colecao Fisico Fisico e' membro de Colecao Fisico e' uma instancia de Comprar Objeto Objeto e' uma instancia de Area Geopolitica AutonomousAgent Processo AutonomousAgent e' uma instancia de AutonomousAgent Processo e' uma instancia de Comprar Processo e' membro de Colecao Processo e' um agente de AutonomousAgent AutonomousAgent e' situado em Objeto Sequencia Simbolica Entidade and Entidade_PURCHASE_AMOUNT total a classe descrita por Sequencia Simbolica and Entidade_PURCHASE_AMOUNT GMBFn Colecao e' igual a Entidade_PURCHASE_AMOUNT

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.	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 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.	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 ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and 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 ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica 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 ListaITEM e' um membro de Lista ListaITEM e' uma instancia de Sequencia Simbolica Entidade Entidade e' uma instancia de Sequencia Simbolica Entidade e' um membro de Lista Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica average Lista and 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.	Mid-level-ontology.kif 23098-23103	aunt Woman and Humano Humano sister Woman and Humano Humano e' um genitor de Humano
No TPTP formula. May not be expressible in strict first order.	People.kif 272-293	average Lista and Numero Real Lista Inteiro positivo comprimento de Lista e' igual a comprimento de Lista 1th elemento de Lista e' igual a 1th elemento de Lista Inteiro positivo Inteiro positivo e' um membro de Lista Numero Real Numero RealMINUSONE, Inteiro positivo and Inteiro positivo Numero Real e' maior que 1 Numero Real e' menor ou igual a comprimento de Lista Inteiro positivoth elemento de Lista e' igual a Numero Real Inteiro positivo e' um membro de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' um membro de Lista Numero RealMINUSONE e' igual a ( Numero Real + 1) Numero RealMINUSONE e' igual a Inteiro positivoth elemento de Lista Inteiro positivo e' igual a ( Inteiro positivo + Inteiro positivo) Inteiro positivo e' igual a comprimento de Lista Numero Real e' igual a Inteiro positivoth elemento de Lista + Inteiro positivo
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.	People.kif 1528-1539	beliefGroupPercentInRegion BeliefGroup, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de BeliefGroup Fisico e' membro de Colecao memberCount Colecao and Numero Real1 Fisico2 e' situado em Area Geografica Fisico2 e' membro de Colecao memberCount Colecao and Numero Real2 Numero Real + 100 e' igual a Numero Real1 + Numero Real2
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.	Mid-level-ontology.kif 23113-23128	cousin Humano and Humano Woman Man grandmother Humano and Woman grandfather Humano and Man grandmother Humano and Woman grandfather Humano and Man Organismo Organismo Organismo e' a mae de Humano Organismo e' o pai de Humano Organismo e' a mae de Humano Organismo e' o pai de Humano
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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3668-3673	currencyExchangeRateInPeriod UnitOfCurrency, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal currencyExchangeRate UnitOfCurrency and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7754-7760	customer Agente Cognitivo and AutonomousAgent Processo Processo e' uma instancia de Transacao Financeira Processo e' um agente de AutonomousAgent Processo termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3635-3642	customerRepresentative Agente Cognitivo, Agente Cognitivo and Organizacao Processo Processo e' uma instancia de Transacao Financeira Organizacao emprega Agente Cognitivo Processo e' um agente de Agente Cognitivo Processo termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2781-2786	earthAltitude Objeto and Medida de Comprimento Objeto auto-conectado a altitude de Objeto e' Objeto auto-conectado Objeto auto-conectado e' uma superficie de PlanetEarth
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2819-2824	economicAidDonatedInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal economicAidDonated Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2859-2864	economicAidReceivedNetInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal economicAidReceivedNet Area Geopolitica and Medida de Divisa vale durante Posicao Temporal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2056-2061	electricityFractionFromSourceInPeriod Area Geopolitica, PowerGeneration, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal electricityFractionFromSource Area Geopolitica, PowerGeneration and Numero Real 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.	Government.kif 1124-1138	?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE ?VOTER e' um cidadao de ?POLITY suffrageAgeMinimum ?POLITY and ?VOTINGAGE YearDuration(s) a idade de ?VOTER e' ?AGE YearDuration(s) ?AGE e' maior ou igual a ?VOTINGAGE ?ELECTION e' uma instancia de ElectionFn ?POLITY ?VOTING ?VOTING e' uma instancia de VotingFn ?ELECTION ?VOTING e' um agente de ?VOTER contem informacao CompulsorySuffrageLaw
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.	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.	Merge.kif 6100-6107	Caminho do Grafo Caminho do Grafo Caminho do Grafo e' uma instancia de o conjunto de caminhos que dividem Grafo em dois grafos distintos Caminho do Grafo e' uma instancia de o conjunto minimal de caminhos que dividem Grafo em dois grafos distintos o comprimento de Caminho do Grafo e' Inteiro positivo o comprimento de Caminho do Grafo e' Inteiro positivo Inteiro positivo e' menos que Inteiro positivo

appearance as argument number 0

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.	Medicine.kif 4590-4593	Agente Cognitivo NewReporter e' um atributo de Agente Cognitivo ProPublica emprega Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	Food.kif 1902-1903	Meal Regiao MealAttributeFn Meal and Regiao e' um atributo de Meal
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.	Cars.kif 5094-5097	Objeto Objeto e' uma sub-classe de HandToolBox manufacturer Objeto and SortimoCorp
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 Entidade e' membro de TwelveApostles vale durante Intervalo Temporal friend Entidade and JesusOfNazareth vale durante Intervalo Temporal

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

KB Term:			Term intersection

English Word: