No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3668-3673 |
currencyExchangeRateInPeriod UnitOfCurrency, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel currencyExchangeRate UnitOfCurrency and mesure de devise pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7727-7733 |
customer agent cognitif and AutonomousAgent processus processus est une instance de financial transaction processus est un agent de AutonomousAgent processus aboutit � agent cognitif |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3635-3642 |
customerRepresentative agent cognitif, agent cognitif and organisation processus processus est une instance de financial transaction organisation emploie agent cognitif processus est un agent de agent cognitif processus aboutit � agent cognitif |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2819-2824 |
economicAidDonatedInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel economicAidDonated secteur g�opolitique and mesure de devise pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2859-2864 |
economicAidReceivedNetInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel economicAidReceivedNet secteur g�opolitique and mesure de devise pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2056-2061 |
electricityFractionFromSourceInPeriod secteur g�opolitique, PowerGeneration, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel electricityFractionFromSource secteur g�opolitique, PowerGeneration and nombre r�el pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
People.kif 206-223 |
MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 981-984 |
Nombre fixedInterestRate FinancialAccount and nombre FinancialAccount est une instance de FixedRateAccount |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2549-2554 |
exportPartnerByFractionInPeriod secteur g�opolitique, secteur g�opolitique, nombre r�el positif and interval temporel position temporel position temporel est une instance de interval temporel exportPartnerByFraction secteur g�opolitique, secteur g�opolitique and nombre r�el positif pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2511-2516 |
exportPartnerByRankInPeriod secteur g�opolitique, secteur g�opolitique, nombre entier positif and interval temporel position temporel position temporel est une instance de interval temporel exportPartnerByRank secteur g�opolitique, secteur g�opolitique and nombre entier positif pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2387-2392 |
exportPartnerInPeriod AutonomousAgent, AutonomousAgent and interval temporel position temporel position temporel est une instance de interval temporel exportPartner AutonomousAgent and AutonomousAgent pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2775-2780 |
externalDebtInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel externalDebt secteur g�opolitique and mesure de devise pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1279-1284 |
highestDecileShareOfHouseholdIncomeInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel highestDecileShareOfHouseholdIncome secteur g�opolitique and nombre r�el pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30132-30140 |
Barefoot est un attribut de entit� pendant position temporel entit� entit� est une instance de Shoe entit� porte entit� pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30145-30153 |
Naked est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement entit� porte entit� pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30223-30236 |
Alone est un attribut de entit� pendant interval temporel entit�2 processus entit� est entit�2 entit�2 est une instance de AutonomousAgent processus est une instance de interaction social temps d'existence de processus prend place pendant interval temporel involvedInEvent processus and entit� involvedInEvent processus and entit�2 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30271-30279 |
Mute est un attribut de AutonomousAgent pendant interval temporel processus processus est une instance de Speaking temps d'existence de processus prend place pendant interval temporel processus est un agent de AutonomousAgent |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2742-2747 |
importPartnerByFractionInPeriod secteur g�opolitique, secteur g�opolitique, nombre r�el positif and interval temporel position temporel position temporel est une instance de interval temporel importPartnerByFraction secteur g�opolitique, secteur g�opolitique and nombre r�el positif pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2704-2709 |
importPartnerByRankInPeriod secteur g�opolitique, secteur g�opolitique, nombre entier positif and interval temporel position temporel position temporel est une instance de interval temporel importPartnerByRank secteur g�opolitique, secteur g�opolitique and nombre entier positif pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2674-2679 |
importPartnerInPeriod AutonomousAgent, AutonomousAgent and interval temporel position temporel position temporel est une instance de interval temporel importPartner AutonomousAgent and AutonomousAgent pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1318-1323 |
incomeDistributionByGiniIndexInPeriod secteur g�opolitique, nombre r�el non n�gatif and interval temporel position temporel position temporel est une instance de interval temporel incomeDistributionByGiniIndex secteur g�opolitique and nombre r�el non n�gatif pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1949-1954 |
industrialProductionGrowthRateInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel industrialProductionGrowthRate secteur g�opolitique and nombre r�el pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20200-20204 |
Objet est une instance de Bull objet est une instance de Cattle Female est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20218-20222 |
Objet est une instance de Bull objet est une instance de Cattle Male est un attribut de objet |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11682-11689 |
Objet est une instance de os objet objet est une instance de Skeleton objet est une instance de Exoskeleton objet est une partie de objet |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |