| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23060-23075 |
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 3648-3650 |
currencyExchangePerUSDollar Medida de Divisa and Intervalo Temporal currencyExchangeRateInPeriod UnitedStatesDollar, Medida de Divisa and Intervalo 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 |
| 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 7726-7732 |
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. |
Justice.kif 26-28 |
detainedAtTimeInPlace Agente Sentiente, Posicao Temporal and Objeto playsRoleInEventOfType Agente Sentiente, detainee, Confinar, Posicao Temporal and Objeto |
| 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 |
| No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3260-3266 |
Agreement emprega Agreement Agente Cognitivo Agente Cognitivo tem um atributo de Employment partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement |
| No TPTP formula. May not be expressible in strict first order. |
People.kif 206-223 |
MaleToFemaleRatioFn Area Geopolitica 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 |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1504-1509 |
Numero Real e' igual a StandardDeviationFn Lista Numero Real e' igual a a raiz quadrada de VarianceFn Lista |
| No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1698-1704 |
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. |
People.kif 1547-1558 |
ethnicityPercentInRegion Grupo Etnico, Numero Real and Area Geografica Colecao Colecao, Fisico, Fisico2, Numero Real1 and Numero Real2 Fisico e' situado em Area Geografica Fisico e' membro de Grupo Etnico 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. |
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. |
Economy.kif 2549-2554 |
exportPartnerByFractionInPeriod Area Geopolitica, Area Geopolitica, Numero Real positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartnerByFraction Area Geopolitica, Area Geopolitica and Numero Real positivo vale durante Posicao Temporal |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
