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 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. |
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 30120-30128 |
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 30133-30141 |
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 30211-30224 |
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 30259-30267 |
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 11681-11688 |
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 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6477-6487 |
Entidade e' uma instancia de ConjugatedSubstance Objeto Objeto and Processo Objeto e' uma instancia de Substancia Composta Objeto e' uma instancia de Substancia Composta Objeto e' igual a Objeto Processo e' uma instancia de Sintese Quimica Objeto e' um recurso para Processo Objeto e' um recurso para Processo Entidade e' o resultado de Processo |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1321-1326 |
Collateral e' uma instancia de Collateral FinancialAccount FinancialAccount e' uma instancia de SecuredLoan securedBy FinancialAccount and Collateral |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8079-8084 |
Area Geopolitica e' uma instancia de CityDistrict Area Geopolitica Area Geopolitica e' uma instancia de Cidade sub-divisao geopolitica |
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 63-68 |
Objeto Corpuscular e' uma instancia de ComputerHardware Objeto Corpuscular Objeto Corpuscular e' uma instancia de Computer Objeto Corpuscular e' um componente de Objeto Corpuscular |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1668-1673 |
PerformanceMeasure e' uma instancia de InflationIndex Abstrato Abstrato e' uma instancia de Inflation benchmark Abstrato and PerformanceMeasure |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1696-1701 |
Abstrato e' uma instancia de StockIndex PerformanceMeasure PerformanceMeasure e' uma instancia de Stock benchmark Abstrato and PerformanceMeasure |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1348-1351 |
FinancialAccount e' uma instancia de SecuredLoan Collateral securedBy FinancialAccount and Collateral |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 108-115 |
Organizacao e' uma instancia de GovernmentOrganization Organizacao e' uma instancia de Governo Organizacao Organizacao e' uma instancia de Governo Organizacao e' uma parte da organizacao Organizacao |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |