No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10944-10950 |
Objet corpusculaire est une instance de vertebr� objet corpusculaire objet corpusculaire est une instance de animal objet corpusculaire est un composant de objet corpusculaire objet corpusculaire est une instance de SpinalColumn |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1419-1424 |
laborForceFractionByOccupationInPeriod secteur g�opolitique, attribut, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel laborForceFractionByOccupation secteur g�opolitique, attribut and nombre r�el pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1373-1378 |
laborForceTotalInPeriod secteur g�opolitique, nombre r�el non n�gatif and interval temporel position temporel position temporel est une instance de interval temporel laborForceTotal secteur g�opolitique and nombre r�el non n�gatif pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1566-1577 |
languagePercentInRegion langage, nombre r�el and secteur g�ographique collection collection, sentient agent, sentient agent2, nombre r�el1 and nombre r�el2 sentient agent est situ� � secteur g�ographique sentient agent est un membre de collection speaksLanguage sentient agent and langage memberCount collection and nombre r�el1 sentient agent2 est situ� � secteur g�ographique sentient agent2 est un membre de collection memberCount collection and nombre r�el2 nombre r�el + 100 est nombre r�el1 + nombre r�el2 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1233-1238 |
lowestDecileShareOfHouseholdIncomeInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel lowestDecileShareOfHouseholdIncome 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 30296-30310 |
Processus est ex�cut� de la fa�on Harmless processus est une instance de endommager processus2 processus2 est une instance de endommager processus2 est un sous-processus de processus processus2 processus2 est une instance de endommager processus cause processus2 |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 1019-1024 |
militaryExpendituresFractionOfGDPInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel militaryExpendituresFractionOfGDP secteur g�opolitique and nombre r�el pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 980-985 |
militaryExpendituresInUSDollarsInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel militaryExpendituresInUSDollars secteur g�opolitique and mesure de devise pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13850-13857 |
L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule |
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3283-3288 |
monthlyIncome humain and mesure de devise interval temporel interval temporel est une instance de mois income humain, mesure de devise and interval temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23109-23114 |
nephew Man and humain organisme organisme est un fr�re ou une soeur de humain son Man and organisme |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23123-23128 |
niece Woman and humain organisme organisme est un fr�re ou une soeur de humain daughter Woman and organisme |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1042-1047 |
perCapitaGDPInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel perCapitaGDP secteur g�opolitique and mesure de devise pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1184-1189 |
populationFractionBelowPovertyLineInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel populationFractionBelowPovertyLine 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 13208-13213 |
quarter objet and objet objet half objet and objet half objet and objet |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1007-1012 |
realGrowthRateOfGDPInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel realGrowthRateOfGDP secteur g�opolitique and nombre r�el pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1086-1091 |
sectorCompositionOfGDPInPeriod secteur g�opolitique, IndustryAttribute, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel sectorCompositionOfGDP secteur g�opolitique, IndustryAttribute and nombre r�el pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1129-1137 |
sectorValueOfGDPInPeriod secteur g�opolitique, IndustryAttribute, nombre r�el unit� de mesure(s) and interval temporel position temporel position temporel est une instance de interval temporel sectorValueOfGDP secteur g�opolitique, IndustryAttribute and nombre r�el unit� de mesure(s) pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23152-23159 |
stepfather humain and Man humain humain est la m�re de humain spouse Man and humain Man est le p�re de humain |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23169-23176 |
stepmother humain and Woman humain humain est le p�re de humain spouse Woman and humain Woman est la m�re de humain |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1277-1287 |
totalFacilityTypeInArea secteur g�ographique, la classe correspondant � AirportWithPavedRunway and nombre entier non n�gatif cha�ne sympbolique entit� cardinality la classe d�crite par cha�ne sympbolique and nombre entier non n�gatif |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 958-963 |
totalGDPInPeriod secteur g�opolitique, mesure de devise and interval temporel position temporel position temporel est une instance de interval temporel totalGDP secteur g�opolitique and mesure de devise pendant position temporel |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23137-23142 |
uncle Man and humain humain brother Man and humain humain est un parent de humain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1456-1461 |
unemploymentRateOfAreaInPeriod secteur g�opolitique, nombre r�el and interval temporel position temporel position temporel est une instance de interval temporel unemploymentRateOfArea 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 968-975 |
yearOfFounding organisation and nombre entier processus nombre entierEAR nombre entierEAR recouvre temps d'existence de processus nombre entierEAR est une instance de l' ann�e nombre entier processus est une instance de Founding organisation est le resultat de processus |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |