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 7727-7733 |
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. |
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. |
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. |
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. |
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 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2511-2516 |
exportPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2387-2392 |
exportPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal exportPartner AutonomousAgent and AutonomousAgent vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2775-2780 |
externalDebtInPeriod Area Geopolitica, Medida de Divisa and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal externalDebt Area Geopolitica and Medida de Divisa vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1279-1284 |
highestDecileShareOfHouseholdIncomeInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal highestDecileShareOfHouseholdIncome Area Geopolitica and Numero Real vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30132-30140 |
Barefoot e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Shoe Entidade usa Entidade vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30145-30153 |
Naked e' um atributo de Entidade vale durante Posicao Temporal Entidade Entidade e' uma instancia de Roupa Entidade usa Entidade vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30223-30236 |
Alone e' um atributo de Entidade vale durante Intervalo Temporal Entidade2 Processo Entidade e' igual a Entidade2 Entidade2 e' uma instancia de AutonomousAgent Processo e' uma instancia de Interacao Social tempo de existencia de Processo acontece durante Intervalo Temporal involvedInEvent Processo and Entidade involvedInEvent Processo and Entidade2 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30271-30279 |
Mute e' um atributo de AutonomousAgent vale durante Intervalo Temporal Processo Processo e' uma instancia de Speaking tempo de existencia de Processo acontece durante Intervalo Temporal Processo e' um agente de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2742-2747 |
importPartnerByFractionInPeriod Area Geopolitica, Area Geopolitica, Numero Real positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartnerByFraction Area Geopolitica, Area Geopolitica and Numero Real positivo vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2704-2709 |
importPartnerByRankInPeriod Area Geopolitica, Area Geopolitica, Inteiro positivo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartnerByRank Area Geopolitica, Area Geopolitica and Inteiro positivo vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2674-2679 |
importPartnerInPeriod AutonomousAgent, AutonomousAgent and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal importPartner AutonomousAgent and AutonomousAgent vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1318-1323 |
incomeDistributionByGiniIndexInPeriod Area Geopolitica, Numero Real nao-negativo and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal incomeDistributionByGiniIndex Area Geopolitica and Numero Real nao-negativo vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1949-1954 |
industrialProductionGrowthRateInPeriod Area Geopolitica, Numero Real and Intervalo Temporal Posicao Temporal Posicao Temporal e' uma instancia de Intervalo Temporal industrialProductionGrowthRate Area Geopolitica and Numero Real vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20200-20204 |
Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Female e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20218-20222 |
Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Male e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11682-11689 |
Objeto e' uma instancia de Osso Objeto Objeto e' uma instancia de Skeleton Objeto e' uma instancia de Exoskeleton Objeto e' uma &parte de Objeto |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |