(<=>
(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(perCapitaGDP ?AREA ?AMOUNT))))) |
Economy.kif 1133-1138 |
perCapitaGDPInPeriod geopolitischer Bereich, Waehrungma and Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand und perCapitaGDP ** geopolitischer Bereich and ** Waehrungma haelt waehrend ** Zeitposition |
(<=>
(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1275-1280 |
populationFractionBelowPovertyLineInPeriod geopolitischer Bereich, reelle Zahl and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand und populationFractionBelowPovertyLine ** geopolitischer Bereich and ** reelle Zahl haelt waehrend ** Zeitposition |
(<=>
(quarter ?Q ?W)
(exists (?H)
(and
(half ?H ?W)
(half ?Q ?H)))) |
Mid-level-ontology.kif 14545-14550 |
quarter Gegenstand and ** Gegenstand genau dann wenn es gibt ** Gegenstand um half ** ** Gegenstand and ** ** Gegenstand und half ** Gegenstand and ** ** Gegenstand |
(<=>
(realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1098-1103 |
realGrowthRateOfGDPInPeriod geopolitischer Bereich, reelle Zahl and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand und realGrowthRateOfGDP ** geopolitischer Bereich and ** reelle Zahl haelt waehrend ** Zeitposition |
(<=>
(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1177-1182 |
sectorCompositionOfGDPInPeriod geopolitischer Bereich, IndustryAttribute, reelle Zahl and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand und sectorCompositionOfGDP ** geopolitischer Bereich, ** IndustryAttribute and ** reelle Zahl haelt waehrend ** Zeitposition |
(<=>
(sectorValueOfGDPInPeriod ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT) ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorValueOfGDP ?AREA ?SECTOR
(MeasureFn ?AMOUNT ?CUNIT)))))) |
Economy.kif 1220-1228 |
sectorValueOfGDPInPeriod geopolitischer Bereich, IndustryAttribute, reelle Zahl Masseinheit(s) and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand und sectorValueOfGDP ** geopolitischer Bereich, ** IndustryAttribute and ** reelle Zahl ** Masseinheit(s) haelt waehrend ** Zeitposition |
(<=>
(stepfather ?P ?F)
(exists (?M)
(and
(mother ?P ?M)
(spouse ?F ?M)
(not
(father ?P ?F))))) |
Mid-level-ontology.kif 24793-24800 |
stepfather Mensch and Man genau dann wenn es gibt ** Mensch um ** ** Mensch ist die mutter von ** Mensch und spouse ** Man and ** ** Mensch und ** Man ist der vater von ** Mensch nicht |
(<=>
(stepmother ?P ?M)
(exists (?F)
(and
(father ?P ?F)
(spouse ?M ?F)
(not
(mother ?P ?M))))) |
Mid-level-ontology.kif 24810-24817 |
stepmother Mensch and Woman genau dann wenn es gibt ** Mensch um ** ** Mensch ist der vater von ** Mensch und spouse ** Woman and ** ** Mensch und ** Woman ist die mutter von ** Mensch nicht |
(<=>
(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 1349-1359 |
totalFacilityTypeInArea geographischer Bereich, die kategorie, die AirportWithPavedRunway entspricht and nichtnegative Ganzzahl genau dann wenn es gibt Zeichenfolge und Wesen um cardinality die kategorie die ** Zeichenfolge beschreibt and ** nichtnegative Ganzzahl |
(<=>
(totalFacilityTypeInArea ?AREA ?TYPE ?COUNT)
(cardinality
(KappaFn ?ITEM
(and
(instance ?ITEM ?TYPE)
(located ?ITEM ?AREA))) ?COUNT)) |
Transportation.kif 1221-1228 |
totalFacilityTypeInArea geographischer Bereich, Kategorie and nichtnegative Ganzzahl genau dann wenn cardinality die kategorie die Zeichenfolge beschreibt and ** nichtnegative Ganzzahl |
(<=>
(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 1012-1017 |
totalGDPInPeriod geopolitischer Bereich, Waehrungma and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand und totalGDP ** geopolitischer Bereich and ** Waehrungma haelt waehrend ** Zeitposition |
(<=>
(totalLengthOfHighwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?HIGHWAYS
(and
(instance ?HIGHWAYS Roadway)
(located ?HIGHWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 484-491 |
totalLengthOfHighwaySystem geographischer Bereich and Laengemass genau dann wenn die laenge von die kategorie die Zeichenfolge beschreibt ist ** Laengemass |
(<=>
(totalLengthOfRailwaySystem ?AREA ?LENGTH)
(length
(KappaFn ?RAILWAYS
(and
(instance ?RAILWAYS Railway)
(located ?RAILWAYS ?AREA))) ?LENGTH)) |
Transportation.kif 98-105 |
totalLengthOfRailwaySystem geographischer Bereich and Laengemass genau dann wenn die laenge von die kategorie die Zeichenfolge beschreibt ist ** Laengemass |
(<=>
(totalLengthOfWaterways ?AREA ?LENGTH)
(length
(KappaFn ?WATERWAY
(and
(instance ?WATERWAY Waterway)
(partlyLocated ?WATERWAY ?AREA))) ?LENGTH)) |
Transportation.kif 656-663 |
totalLengthOfWaterways geographischer Bereich and Laengemass genau dann wenn die laenge von die kategorie die Zeichenfolge beschreibt ist ** Laengemass |
(<=>
(totalPipelineInArea ?AREA ?LENGTH)
(length
(KappaFn ?PIPE
(and
(instance ?PIPE Pipeline)
(located ?PIPE ?AREA))) ?LENGTH)) |
Transportation.kif 685-692 |
totalPipelineInArea geographischer Bereich and Laengemass genau dann wenn die laenge von die kategorie die Zeichenfolge beschreibt ist ** Laengemass |
(<=>
(uncle ?U ?H)
(exists (?P)
(and
(brother ?U ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 24778-24783 |
uncle Man and Mensch genau dann wenn es gibt ** Mensch um brother ** Man and ** ** Mensch und ** ** Mensch ist das elterntiel von ** Mensch |
(<=>
(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(unemploymentRateOfArea ?AREA ?RATE))))) |
Economy.kif 1581-1586 |
unemploymentRateOfAreaInPeriod geopolitischer Bereich, reelle Zahl and ** Zeitabstand genau dann wenn es gibt Zeitposition um ** Zeitposition ist ein fall von ** Zeitabstand und unemploymentRateOfArea ** geopolitischer Bereich and ** reelle Zahl haelt waehrend ** Zeitposition |
(<=>
(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 961-968 |
yearOfFounding Organisation and Ganzzahl genau dann wenn es gibt Prozess und ** GanzzahlEAR um ** GanzzahlEAR deckt sich mit die zeit des Bestehens von ** Prozess und ** GanzzahlEAR ist ein fall von das jahr ** Ganzzahl und ** Prozess ist ein fall von Founding und ** Organisation ist ein resultat von ** Prozess |
(=>
(accountAtSite ?ACCT ?SITE)
(exists (?DATABASE ?SITE_OWNER)
(and
(instance ?DATABASE Database)
(instance ?SITE_OWNER AutonomousAgent)
(possesses ?SITE_OWNER ?SITE)
(possesses ?SITE_OWNER ?DATABASE)
(part ?ACCT ?DATABASE)))) |
UXExperimentalTerms.kif 632-640 |
|
(=>
(actedIn ?ACTOR ?O)
(exists (?PERF)
(and
(instance ?PERF DramaticActing)
(patient ?PERF ?ACTOR)
(result ?PERF ?O)))) |
Mid-level-ontology.kif 22369-22375 |
|
(=>
(activityCapability ?AGENT ?ACT)
(exists (?LOC)
(and
(element ?LOC
(PropertyFn ?AGENT))
(capability ?ACT located ?LOC)))) |
Hotel.kif 603-608 |
|
(=>
(adjacentOrientation ?OBJ1 ?OBJ2)
(exists (?X)
(and
(instance ?X ?OBJ2)
(orientation ?OBJ1 ?X Adjacent)))) |
Hotel.kif 947-952 |
|
(=>
(advertisedOn ?OBJ ?SITE)
(exists (?ADVERT)
(and
(instance ?ADVERT Advertising)
(hostedOn ?ADVERT ?SITE)
(patient ?ADVERT ?OBJ)))) |
UXExperimentalTerms.kif 193-199 |
|
(=>
(agreementAdoptionDate ?AGR ?DATE)
(exists (?PROCESS ?DAY)
(and
(instance ?PROCESS Committing)
(instance ?DAY ?DATE)
(patient ?PROCESS ?AGR)
(time ?PROCESS ?DAY)))) |
Government.kif 669-676 |
|
(=>
(agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT)
(and
(exists (?CLAUSE)
(containsInformation ?CLAUSE ?PROP))
(partyToAgreement ?AGENT ?AGREEMENT))) |
Mid-level-ontology.kif 15443-15448 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
