(<=>
(instance ?VERT Vertebrate)
(exists (?SPINE)
(and
(instance ?VERT Animal)
(component ?SPINE ?VERT)
(instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10944-10950 |
CorpuscularObject ist ein fall von Vertebrate %n{nicht} genau dann wenn es gibt ** CorpuscularObject um ** CorpuscularObject ist ein fall von Animal %n{nicht} und ** ** CorpuscularObject ist ein bestandteil von ** CorpuscularObject %n{nicht} und ** ** CorpuscularObject ist ein fall von SpinalColumn %n{nicht} |
(<=>
(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceFractionByOccupation ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1419-1424 |
laborForceFractionByOccupationInPeriod GeopoliticalArea, Attribute, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und laborForceFractionByOccupation ** GeopoliticalArea, ** Attribute and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(laborForceTotalInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(laborForceTotal ?AREA ?AMOUNT))))) |
Economy.kif 1373-1378 |
laborForceTotalInPeriod GeopoliticalArea, NonnegativeRealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und laborForceTotal ** GeopoliticalArea and ** NonnegativeRealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(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 Language, RealNumber and GeographicArea genau dann wenn es gibt Collection, ** Collection,, , SentientAgent,, , ** SentientAgent2,, , ** RealNumber1, and und ** RealNumber2 um ** SentientAgent befindet sich an %n{nicht} und ** SentientAgent ist ein Mitglied von ** Collection %n{nicht} und speaksLanguage ** SentientAgent and ** Language und memberCount ** Collection and ** RealNumber1 und ** SentientAgent2 befindet sich an %n{nicht} und ** SentientAgent2 ist ein Mitglied von ** ** Collection %n{nicht} und memberCount ** ** Collection and ** RealNumber2 und ** RealNumber und 100 ist gleich ** RealNumber1 und ** RealNumber2 %n{nicht} |
(<=>
(lowestDecileShareOfHouseholdIncomeInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(lowestDecileShareOfHouseholdIncome ?AREA ?FRACTION))))) |
Economy.kif 1233-1238 |
lowestDecileShareOfHouseholdIncomeInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und lowestDecileShareOfHouseholdIncome ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(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 30296-30310 |
Process wird in der Weise von Harmless durchgef�hrt genau dann wenn ** Process ist ein fall von Damaging nicht und es gibt nicht ** Process2 um ** Process2 ist ein fall von Damaging %n{nicht} und ** Process2 ist ein subProzess von ** Process und es gibt nicht ** Process2 um ** Process2 ist ein fall von Damaging %n{nicht} und ** Process verursacht ** Process2 %n{nicht} |
(<=>
(militaryExpendituresFractionOfGDPInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresFractionOfGDP ?AREA ?FRACTION))))) |
Military.kif 1019-1024 |
militaryExpendituresFractionOfGDPInPeriod GeopoliticalArea, RealNumber and TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und militaryExpendituresFractionOfGDP ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(militaryExpendituresInUSDollarsInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(militaryExpendituresInUSDollars ?AREA ?AMOUNT))))) |
Military.kif 980-985 |
militaryExpendituresInUSDollarsInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und militaryExpendituresInUSDollars ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht} |
(<=>
(modalAttribute ?F1 Legal)
(not
(exists (?F2)
(and
(modalAttribute ?F2 Law)
(not
(consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13850-13857 |
Die Aussage Formula hat die modale Kraft von Legal genau dann wenn es gibt nicht ** Formula um die Aussage ** ** Formula hat die modale Kraft von Law und consistent ** Formula and ** ** Formula |
(<=>
(monthlyIncome ?Agent ?Money)
(exists (?Month)
(and
(instance ?Month Month)
(income ?Agent ?Money ?Month)))) |
FinancialOntology.kif 3283-3288 |
monthlyIncome Human and CurrencyMeasure genau dann wenn es gibt TimeInterval um ** TimeInterval ist ein fall von Month %n{nicht} und income ** Human, ** CurrencyMeasure and ** TimeInterval |
(<=>
(nephew ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(son ?N ?S)))) |
Mid-level-ontology.kif 23109-23114 |
nephew Man and Human genau dann wenn es gibt Organism um ** Human ist die geschwister von ** Organism %n{nicht} und son ** Man and ** Organism |
(<=>
(niece ?N ?H)
(exists (?S)
(and
(sibling ?S ?H)
(daughter ?N ?S)))) |
Mid-level-ontology.kif 23123-23128 |
niece Woman and Human genau dann wenn es gibt Organism um ** Human ist die geschwister von ** Organism %n{nicht} und daughter ** Woman and ** Organism |
(<=>
(perCapitaGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(perCapitaGDP ?AREA ?AMOUNT))))) |
Economy.kif 1042-1047 |
perCapitaGDPInPeriod GeopoliticalArea, CurrencyMeasure and TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und perCapitaGDP ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht} |
(<=>
(populationFractionBelowPovertyLineInPeriod ?AREA ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(populationFractionBelowPovertyLine ?AREA ?FRACTION))))) |
Economy.kif 1184-1189 |
populationFractionBelowPovertyLineInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und populationFractionBelowPovertyLine ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(quarter ?Q ?W)
(exists (?H)
(and
(half ?H ?W)
(half ?Q ?H)))) |
Mid-level-ontology.kif 13208-13213 |
quarter Object and ** Object genau dann wenn es gibt ** Object um half ** ** Object and ** ** Object und half ** Object and ** ** Object |
(<=>
(realGrowthRateOfGDPInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(realGrowthRateOfGDP ?AREA ?RATE))))) |
Economy.kif 1007-1012 |
realGrowthRateOfGDPInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und realGrowthRateOfGDP ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(sectorCompositionOfGDP ?AREA ?SECTOR ?FRACTION))))) |
Economy.kif 1086-1091 |
sectorCompositionOfGDPInPeriod GeopoliticalArea, IndustryAttribute, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und sectorCompositionOfGDP ** GeopoliticalArea, ** IndustryAttribute and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(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 GeopoliticalArea, IndustryAttribute, RealNumber UnitOfMeasure(s) and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und sectorValueOfGDP ** GeopoliticalArea, ** IndustryAttribute and ** RealNumber ** UnitOfMeasure(s) haelt waehrend ** TimePosition %n{nicht} |
(<=>
(stepfather ?P ?F)
(exists (?M)
(and
(mother ?P ?M)
(spouse ?F ?M)
(not
(father ?P ?F))))) |
Mid-level-ontology.kif 23152-23159 |
stepfather Human and Man genau dann wenn es gibt ** Human um ** ** Human ist die mutter von ** Human %n{nicht} und spouse ** Man and ** ** Human und ** Man ist der vater von ** Human nicht |
(<=>
(stepmother ?P ?M)
(exists (?F)
(and
(father ?P ?F)
(spouse ?M ?F)
(not
(mother ?P ?M))))) |
Mid-level-ontology.kif 23169-23176 |
stepmother Human and Woman genau dann wenn es gibt ** Human um ** ** Human ist der vater von ** Human %n{nicht} und spouse ** Woman and ** ** Human und ** Woman ist die mutter von ** Human 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 1277-1287 |
totalFacilityTypeInArea GeographicArea, die kategorie, die AirportWithPavedRunway entspricht and NonnegativeInteger genau dann wenn es gibt SymbolicString und entity um cardinality die kategorie die ** SymbolicString beschreibt and ** NonnegativeInteger |
(<=>
(totalGDPInPeriod ?AREA ?AMOUNT ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(totalGDP ?AREA ?AMOUNT))))) |
Economy.kif 958-963 |
totalGDPInPeriod GeopoliticalArea, CurrencyMeasure and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und totalGDP ** GeopoliticalArea and ** CurrencyMeasure haelt waehrend ** TimePosition %n{nicht} |
(<=>
(uncle ?U ?H)
(exists (?P)
(and
(brother ?U ?P)
(parent ?H ?P)))) |
Mid-level-ontology.kif 23137-23142 |
uncle Man and Human genau dann wenn es gibt ** Human um brother ** Man and ** ** Human und ** ** Human ist das elterntiel von ** Human %n{nicht} |
(<=>
(unemploymentRateOfAreaInPeriod ?AREA ?RATE ?PERIOD)
(exists (?TIME)
(and
(instance ?TIME ?PERIOD)
(holdsDuring ?TIME
(unemploymentRateOfArea ?AREA ?RATE))))) |
Economy.kif 1456-1461 |
unemploymentRateOfAreaInPeriod GeopoliticalArea, RealNumber and ** TimeInterval genau dann wenn es gibt TimePosition um ** TimePosition ist ein fall von ** TimeInterval %n{nicht} und unemploymentRateOfArea ** GeopoliticalArea and ** RealNumber haelt waehrend ** TimePosition %n{nicht} |
(<=>
(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 Organization and Integer genau dann wenn es gibt Process und ** IntegerEAR um ** IntegerEAR deckt sich mit die zeit des Bestehens von ** Process %n{nicht} und ** IntegerEAR ist ein fall von das jahr ** Integer %n{nicht} und ** Process ist ein fall von Founding %n{nicht} und ** Organization ist ein resultat von ** Process %n{nicht} |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
