(<=>
(instance ?VERT Vertebrate)
(exists (?SPINE)
(and
(instance ?VERT Animal)
(component ?SPINE ?VERT)
(instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10943-10949 |
OggettoCorpuscolare è un' istanza di Vertebrato OggettoCorpuscolare OggettoCorpuscolare è un' istanza di Animale OggettoCorpuscolare è un componente di OggettoCorpuscolare OggettoCorpuscolare è un' istanza di SpinalColumn |
(<=>
(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1419-1424 |
laborForceFractionByOccupationInPeriod AreaGeopolitica, Attributo, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale laborForceFractionByOccupation AreaGeopolitica, Attributo and NumeroReale vales durante PosizioneTemporale |
(<=>
(laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceTotal ?AREA ?AMOUNT))))) |
Economy.kif 1373-1378 |
laborForceTotalInPeriod AreaGeopolitica, NumeroRealeNonNegativo and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale laborForceTotal AreaGeopolitica and NumeroRealeNonNegativo vales durante PosizioneTemporale |
(<=>
(languagePercentInRegion ?L ?N ?R)
(exists (?G1 ?G2 ?P ?P2 ?N1 ?N2)
(and
(located ?P ?R)
(member ?P ?G1)
(speaksLanguage ?P ?L)
(memberCount ?G1 ?N1)
(located ?P2 ?R)
(member ?P2 ?G2)
(memberCount ?G2 ?N2)
(equal
(DivisionFn ?N 100)
(DivisionFn ?N1 ?N2))))) |
People.kif 1566-1577 |
languagePercentInRegion Linguaggio, NumeroReale and AreaGeografica InsiemeConcreto InsiemeConcreto, AgenteSensibile, AgenteSensibile2, NumeroReale1 and NumeroReale2 AgenteSensibile è localizzato in AreaGeografica AgenteSensibile è un membro di InsiemeConcreto speaksLanguage AgenteSensibile and Linguaggio memberCount InsiemeConcreto and NumeroReale1 AgenteSensibile2 è localizzato in AreaGeografica AgenteSensibile2 è un membro di InsiemeConcreto memberCount InsiemeConcreto and NumeroReale2 NumeroReale + 100 is uguale a NumeroReale1 + NumeroReale2 |
(<=>
(lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1233-1238 |
lowestDecileShareOfHouseholdIncomeInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale lowestDecileShareOfHouseholdIncome AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(manner ?P Harmless)
(and
(not
(instance ?P Damaging))
(not
(exists (?P2)
(and
(instance ?P2 Damaging)
(subProcess ?P2 ?P))))
(not
(exists (?P2)
(and
(instance ?P2 Damaging)
(causes ?P ?P2)))))) |
Mid-level-ontology.kif 30284-30298 |
Processo è eseguito nel modo Harmless Processo è un' istanza di Danneggiare Processo2 Processo2 è un' istanza di Danneggiare Processo2 è un sottoprocesso di Processo Processo2 Processo2 è un' istanza di Danneggiare Processo causas Processo2 |
(<=>
(militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
Military.kif 1019-1024 |
militaryExpendituresFractionOfGDPInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale militaryExpendituresFractionOfGDP AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 980-985 |
militaryExpendituresInUSDollarsInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale militaryExpendituresInUSDollars AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(modalAttribute ?F1 Legal)
(not
(exists (?F2)
(and
(modalAttribute ?F2 Law)
(not
(consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13849-13856 |
L'affermazione Formula ha il modello di forza di Legal Formula l'affermazione Formula ha il modello di forza di Law consistent Formula and Formula |
(<=>
(monthlyIncome ?Agent ?Money)
(exists (?Month)
(and
(instance ?Month Month)
(income ?Agent ?Money ?Month)))) |
FinancialOntology.kif 3283-3288 |
monthlyIncome Umano and MisuraMonetaria IntervalloTemporale IntervalloTemporale è un' istanza di Mese income Umano, MisuraMonetaria and IntervalloTemporale |
(<=>
(nephew ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(son ?N ?S)))) |
Mid-level-ontology.kif 23108-23113 |
nephew Man and Umano Organismo Organismo è un fratello germano di Umano son Man and Organismo |
(<=>
(niece ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(daughter ?N ?S)))) |
Mid-level-ontology.kif 23122-23127 |
niece Woman and Umano Organismo Organismo è un fratello germano di Umano daughter Woman and Organismo |
(<=>
(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(perCapitaGDP ?AREA ?AMOUNT))))) |
Economy.kif 1042-1047 |
perCapitaGDPInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale perCapitaGDP AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1184-1189 |
populationFractionBelowPovertyLineInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale populationFractionBelowPovertyLine AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(quarter ?Q ?W)
(exists (?H)
(and
(half ?H ?W)
(half ?Q ?H)))) |
Mid-level-ontology.kif 13207-13212 |
quarter Oggetto and Oggetto Oggetto half Oggetto and Oggetto half Oggetto and Oggetto |
(<=>
(realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1007-1012 |
realGrowthRateOfGDPInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale realGrowthRateOfGDP AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1086-1091 |
sectorCompositionOfGDPInPeriod AreaGeopolitica, IndustryAttribute, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale sectorCompositionOfGDP AreaGeopolitica, IndustryAttribute and NumeroReale vales durante PosizioneTemporale |
(<=>
(sectorValueOfGDPInPeriod ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorValueOfGDP ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT)))))) |
Economy.kif 1129-1137 |
sectorValueOfGDPInPeriod AreaGeopolitica, IndustryAttribute, NumeroReale Unit�DiMisura(s and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale sectorValueOfGDP AreaGeopolitica, IndustryAttribute and NumeroReale Unit�DiMisura(s vales durante PosizioneTemporale |
(<=>
(stepfather ?P ?F)
(exists (?M)
(and
(mother ?P ?M)
(spouse ?F ?M)
(not
(father ?P ?F))))) |
Mid-level-ontology.kif 23151-23158 |
stepfather Umano and Man Umano Umano è una madre di Umano spouse Man and Umano Man è un padre di Umano |
(<=>
(stepmother ?P ?M)
(exists (?F)
(and
(father ?P ?F)
(spouse ?M ?F)
(not
(mother ?P ?M))))) |
Mid-level-ontology.kif 23168-23175 |
stepmother Umano and Woman Umano Umano è un padre di Umano spouse Woman and Umano Woman è una madre di Umano |
(<=>
(totalFacilityTypeInArea ?AREA
(ExtensionFn AirportWithPavedRunway) ?COUNT)
(exists (?AIRPORT ?RUNWAY)
(cardinality
(KappaFn ?AIRPORT
(and
(instance ?AIRPORT Airport)
(instance ?RUNWAY PavedRunway)
(part ?RUNWAY ?AIRPORT)
(located ?AIRPORT ?AREA))) ?COUNT))) |
Transportation.kif 1277-1287 |
totalFacilityTypeInArea AreaGeografica, la classe corrispondente a AirportWithPavedRunway and NumeroInteroNonNegativo Stringa Entit� cardinality la classe descritta da Stringa and NumeroInteroNonNegativo |
(<=>
(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 958-963 |
totalGDPInPeriod AreaGeopolitica, MisuraMonetaria and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale totalGDP AreaGeopolitica and MisuraMonetaria vales durante PosizioneTemporale |
(<=>
(uncle ?U ?H)
(exists (?P)
(and
(brother ?U ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 23136-23141 |
uncle Man and Umano Umano brother Man and Umano Umano è un parente di Umano |
(<=>
(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(unemploymentRateOfArea ?AREA ?RATE))))) |
Economy.kif 1456-1461 |
unemploymentRateOfAreaInPeriod AreaGeopolitica, NumeroReale and IntervalloTemporale PosizioneTemporale PosizioneTemporale è un' istanza di IntervalloTemporale unemploymentRateOfArea AreaGeopolitica and NumeroReale vales durante PosizioneTemporale |
(<=>
(yearOfFounding ?O ?Y)
(exists (?F ?YEAR)
(and
(overlapsTemporally
(WhenFn ?F) ?YEAR)
(instance ?YEAR
(YearFn ?Y))
(instance ?F Founding)
(result ?F ?O)))) |
Mid-level-ontology.kif 968-975 |
yearOfFounding Organizzazione and NumeroIntero Processo NumeroInteroEAR NumeroInteroEAR sovrappones il tempo di esistenza di Processo NumeroInteroEAR è un' istanza di l' anno NumeroIntero Processo è un' istanza di Founding Organizzazione è un risultato di Processo |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |