(<=>     (measure ?OBJ         (MeasureFn ?DEG AngularDegree))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60.0 ?DEG) ArcMinute)))	Geography.kif 378-380	Das mass von Physical ist RealNumber AngularDegree(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcMinute(s) %n{nicht}
(<=>     (measure ?OBJ         (MeasureFn ?DEG ArcMinute))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60.0 ?DEG) ArcSecond)))	Geography.kif 397-399	Das mass von Physical ist RealNumber ArcMinute(s) %n{nicht} genau dann wenn das mass von ** Physical ist 60.0 und ** RealNumber ArcSecond(s) %n{nicht}
(<=>     (measure ?OBJECT         (MeasureFn ?NUMBER OunceMass))     (measure ?OBJECT         (MeasureFn             (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 13326-13331	Das mass von Physical ist RealNumber OunceMass(s) %n{nicht} genau dann wenn das mass von ** Physical ist ** RealNumber und 16.0 PoundMass(s) %n{nicht}
(<=>     (measure ?SOLUTION         (MeasureFn ?PH PHValue))     (potentialOfHydrogen ?SOLUTION ?PH))	Geography.kif 2548-2551	Das mass von Solution ist RealNumber PHValue(s) %n{nicht} genau dann wenn potentialOfHydrogen ** Solution and ** RealNumber
(<=>     (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}
(=>     (and         (amount ?S ?CO             (MeasureFn ?N ?U))         (instance ?SI ?S)         (measure ?SI             (MeasureFn ?N2 ?U))         (part ?SI ?CO))     (exists (?L)         (and             (inList                 (MeasureFn ?N2 ?U) ?L)             (equal ?L                 (AmountsFn ?S ?CO ?U))             (equal ?N                 (ListSumFn ?L)))))	Merge.kif 7596-7611	Wenn amount ** Substance, CorpuscularObject and RealNumber UnitOfMass(s) und ** SubstanceI ist ein fall von ** ** Substance %n{nicht} und das mass von ** ** SubstanceI ist ** RealNumber2 ** UnitOfMass(s) %n{nicht} und ** ** SubstanceI ist ein teil von ** CorpuscularObject %n{nicht}, dann es gibt List um ** RealNumber2 ** UnitOfMass(s) ist ein Mitglied von ** List und ** List ist gleich AmountsFn ** ** Substance, ** CorpuscularObject and ** UnitOfMass %n{nicht} und ** RealNumber ist gleich ListSumFn ** List %n{nicht}
(=>     (and         (approximateDiameter ?O             (MeasureFn ?L ?LM))         (sphereRadius ?S             (MeasureFn                 (DivisionFn ?L 2.0) ?LM))         (measure ?S             (MeasureFn ?V1 ?VM))         (measure ?O             (MeasureFn ?V2 ?VM))         (instance ?LM UnitOfLength)         (instance ?VM UnitOfVolume))     (equal ?V1 ?V2))	Mid-level-ontology.kif 17948-17959	Wenn approximateDiameter SelfConnectedObject and RealNumber ** RealNumberM(s) und sphereRadius Object and ** RealNumber und 2.0 ** RealNumberM(s) und das mass von ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und das mass von ** SelfConnectedObject ist ** RealNumber ** ** UnitOfMeasure(s) %n{nicht} und ** RealNumberM ist ein fall von UnitOfLength %n{nicht} und ** ** UnitOfMeasure ist ein fall von UnitOfVolume %n{nicht}, dann ** ** RealNumber ist gleich ** ** RealNumber %n{nicht}
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?TOTAL AreaMeasure)         (equal ?AMOUNT             (MultiplicationFn ?FRACTION ?TOTAL)))     (arableLandArea ?REGION         (MeasureFn ?AMOUNT ?UNIT)))	Geography.kif 2080-2090	Wenn arableLandArea GeographicArea and RealNumber UnitOfMeasure(s) und ** RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea ** GeographicArea and ** RealNumber ** UnitOfMeasure(s) und ** ** RealNumber ist ein fall von AreaMeasure %n{nicht} und ** RealNumber ist gleich ** RealNumber und ** ** RealNumber %n{nicht}, dann arableLandArea ** GeographicArea and ** ** RealNumber ** UnitOfMeasure(s)
(=>     (and         (arableLandArea ?REGION             (MeasureFn ?FRACTION ?UNIT))         (greaterThanOrEqualTo ?FRACTION 0.0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea))     (exists (?ARABLE)         (and             (instance ?ARABLE ArableLand)             (geographicSubregion ?ARABLE ?REGION)             (measure ?ARABLE                 (MeasureFn                     (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))))	Geography.kif 2092-2106	Wenn arableLandArea GeographicArea and RealNumber UnitOfMeasure(s) und ** RealNumber ist groesserAlsOderGleich 0.0 %n{nicht} und totalArea ** GeographicArea and ** RealNumber ** UnitOfMeasure(s) und ** UnitOfMeasure ist ein fall von UnitOfArea %n{nicht}, dann es gibt ** GeographicArea um ** ** GeographicArea ist ein fall von ArableLand %n{nicht} und geographicSubregion ** ** GeographicArea and ** GeographicArea und das mass von ** ** GeographicArea ist ** RealNumber und ** ** RealNumber ** UnitOfMeasure(s) %n{nicht}
(=>     (and         (attribute ?FOOD1 FamilyStylePortion)         (measure ?FOOD1             (MeasureFn ?MEAS1 ?U))         (not             (attribute ?FOOD2 FamilyStylePortion))         (measure ?FOOD2             (MeasureFn ?MEAS2 ?U))         (instance ?FOOD1 ?CLASS)         (instance ?FOOD2 ?CLASS)         (instance ?U UnitOfMeasure))     (greaterThan ?MEAS1 ?MEAS2))	Dining.kif 1165-1176	Wenn FamilyStylePortion ist ein attribut von Object %n{nicht} und das mass von ** Object ist RealNumber UnitOfMeasure(s) %n{nicht} und FamilyStylePortion ist ein attribut von ** Object nicht und das mass von ** ** Object ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} und ** Object ist ein fall von Class %n{nicht} und ** ** Object ist ein fall von ** Class %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfMeasure %n{nicht}, dann ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Female)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 12))	Medicine.kif 172-187	Wenn Anemia ist ein attribut von Object %n{nicht} und ** Object ist ein fall von Blood %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Female ist ein attribut von ** Object %n{nicht} und das mass von ** ** Object ist 0.1 Liter(s) %n{nicht} und ** ObjectE ist ein fall von Hemoglobin %n{nicht} und ** ObjectE ist ein teil von ** ** Object %n{nicht} und ** ObjectE2 ist ein fall von Hemoglobin nicht und ** ObjectE ist gleich ** ObjectE2 nicht und ** Object2 ist ein teil von ** ** Object %n{nicht} und das mass von ** ObjectE ist RealNumber Gram(s) %n{nicht}, dann ** RealNumber ist kleinerAls 12 %n{nicht}
(=>     (and         (attribute ?H Anemia)         (instance ?B Blood)         (part ?B ?H)         (attribute ?H Male)         (measure ?B             (MeasureFn 0.1 Liter))         (instance ?HE Hemoglobin)         (part ?HE ?B)         (not             (instance ?HE2 Hemoglobin))         (not             (equal ?HE ?HE2))         (part ?H2 ?B)         (measure ?HE             (MeasureFn ?N Gram)))     (lessThan ?N 13))	Medicine.kif 155-170	Wenn Anemia ist ein attribut von Object %n{nicht} und ** Object ist ein fall von Blood %n{nicht} und ** ** Object ist ein teil von ** Object %n{nicht} und Male ist ein attribut von ** Object %n{nicht} und das mass von ** ** Object ist 0.1 Liter(s) %n{nicht} und ** ObjectE ist ein fall von Hemoglobin %n{nicht} und ** ObjectE ist ein teil von ** ** Object %n{nicht} und ** ObjectE2 ist ein fall von Hemoglobin nicht und ** ObjectE ist gleich ** ObjectE2 nicht und ** Object2 ist ein teil von ** ** Object %n{nicht} und das mass von ** ObjectE ist RealNumber Gram(s) %n{nicht}, dann ** RealNumber ist kleinerAls 13 %n{nicht}
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Buying ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (instance ?U UnitOfCurrency)         (askPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (lessThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Buy             (and                 (instance ?Buy Buying)                 (patient ?Buy ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Buy) ?BuyingTime)                 (overlapsTemporally ?Time ?BuyingTime))) ?Broker))	FinancialOntology.kif 2008-2029	Wenn LimitOrder ist ein attribut von FinancialTransaction %n{nicht} und partyToAgreement ** FinancialTransaction and Agreement und Broker ist ein attribut von ** Agreement %n{nicht} und orderFor ** FinancialTransaction, Buying and Security und das mass von ** Security ist PhysicalQuantity %n{nicht} und limitPrice ** FinancialTransaction and RealNumber UnitOfMeasure(s) und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und askPrice ** Security, ** RealNumber ** UnitOfMeasure(s) and AutonomousAgent und ** ** RealNumber ist kleinerAlsOderGleich ** RealNumber %n{nicht}, dann ** Agreement wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=>     (and         (attribute ?Order LimitOrder)         (partyToAgreement ?Order ?Broker)         (attribute ?Broker Broker)         (orderFor ?Order Selling ?Object)         (measure ?Object ?Quantity)         (limitPrice ?Order             (MeasureFn ?LimitPrice ?U))         (bidPrice ?Object             (MeasureFn ?Price ?U) ?Time)         (instance ?U UnitOfCurrency)         (greaterThanOrEqualTo ?Price ?LimitPrice))     (holdsObligation         (KappaFn ?Sell             (and                 (instance ?Sell Selling)                 (patient ?Sell ?Object)                 (measure ?Object ?Quantity)                 (equal                     (WhenFn ?Sell) ?SellingTime)                 (overlapsTemporally ?SellingTime ?Time))) ?Broker))	FinancialOntology.kif 2031-2052	Wenn LimitOrder ist ein attribut von FinancialTransaction %n{nicht} und partyToAgreement ** FinancialTransaction and Agreement und Broker ist ein attribut von ** Agreement %n{nicht} und orderFor ** FinancialTransaction, Selling and Security und das mass von ** Security ist PhysicalQuantity %n{nicht} und limitPrice ** FinancialTransaction and RealNumber UnitOfMeasure(s) und bidPrice ** Security, ** RealNumber ** UnitOfMeasure(s) and AutonomousAgent und ** UnitOfMeasure ist ein fall von UnitOfCurrency %n{nicht} und ** ** RealNumber ist groesserAlsOderGleich ** RealNumber %n{nicht}, dann ** Agreement wird gezwungen, die Aufgabe der Art von die kategorie die SymbolicString beschreibt durchzuf�hren %n{nicht}
(=>     (and         (boilingPoint ?TYPE             (MeasureFn ?TEMP1 ?MEASURE))         (instance ?SUBSTANCE ?TYPE)         (holdsDuring ?TIME             (measure ?SUBSTANCE                 (MeasureFn ?TEMP2 ?MEASURE)))         (instance ?MEASURE UnitOfTemperature)         (greaterThanOrEqualTo ?TEMP2 ?TEMP1))     (or         (holdsDuring ?TIME             (attribute ?SUBSTANCE Gas))         (exists (?BOIL)             (and                 (overlapsTemporally                     (WhenFn ?BOIL) ?TIME)                 (instance ?BOIL Boiling)                 (patient ?BOIL ?SUBSTANCE)))))	Merge.kif 13841-13854	Wenn boilingPoint ** PureSubstance and RealNumber UnitOfMeasure(s) und Entity ist ein fall von ** PureSubstance %n{nicht} und das mass von ** Entity ist ** RealNumber ** UnitOfMeasure(s) %n{nicht} haelt waehrend TimeInterval %n{nicht} und ** UnitOfMeasure ist ein fall von UnitOfTemperature %n{nicht} und ** ** RealNumber ist groesserAlsOderGleich ** RealNumber %n{nicht}, dann Gas ist ein attribut von ** Entity %n{nicht} haelt waehrend ** TimeInterval %n{nicht} oder es gibt Process um ** TimeInterval deckt sich mit die zeit des Bestehens von ** Process %n{nicht} und ** Process ist ein fall von Boiling %n{nicht} und ** Entity ist ein patient von ** Process %n{nicht}
(=>     (and         (capitalExpendituresOfAreaInPeriod ?AREA             (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD)         (annualExpendituresOfAreaInPeriod ?AREA             (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD))     (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))	Economy.kif 1538-1544	Wenn capitalExpendituresOfAreaInPeriod GeopoliticalArea, RealNumber UnitOfMeasure(s) and ** TimeInterval und annualExpendituresOfAreaInPeriod ** GeopoliticalArea, ** RealNumber ** UnitOfMeasure(s) and ** TimeInterval, dann ** ** RealNumber ist groesserAls ** RealNumber %n{nicht}
(=>     (and         (climateTypeInArea ?AREA ColdClimateZone)         (forall (?MO)             (and                 (instance ?MO Month)                 (averageTemperatureForPeriod ?AREA ?MO                     (MeasureFn ?TEMP CelsiusDegree)))))     (greaterThan 10.0 ?TEMP))	Geography.kif 1522-1530	Wenn climateTypeInArea GeographicArea and ColdClimateZone und fuer alle TimeInterval ** TimeInterval ist ein fall von Month %n{nicht} und averageTemperatureForPeriod ** GeographicArea, ** TimeInterval and RealNumber CelsiusDegree(s), dann 10.0 ist groesserAls ** RealNumber %n{nicht}
(=>     (and         (climateTypeInArea ?AREA DesertClimateZone)         (instance ?MO Month)         (averageTemperatureForPeriod ?AREA ?MO             (MeasureFn ?TEMP CelsiusDegree))         (greaterThan ?TEMP 18.0))     (climateTypeInArea ?AREA SubtropicalDesertClimateZone))	Geography.kif 1370-1377	Wenn climateTypeInArea GeographicArea and DesertClimateZone und TimeInterval ist ein fall von Month %n{nicht} und averageTemperatureForPeriod ** GeographicArea, ** TimeInterval and RealNumber CelsiusDegree(s) und ** RealNumber ist groesserAls 18.0 %n{nicht}, dann climateTypeInArea ** GeographicArea and SubtropicalDesertClimateZone
(=>     (and         (climateTypeInArea ?AREA PolarTypeFClimateZone)         (instance ?TIME TimePosition)         (holdsDuring ?TIME             (airTemperature ?AREA                 (MeasureFn ?TEMP CelsiusDegree))))     (holdsDuring ?TIME         (greaterThan 10.0 ?TEMP)))	Geography.kif 1597-1603	Wenn climateTypeInArea GeographicArea and PolarTypeFClimateZone und TimePosition ist ein fall von TimePosition %n{nicht} und airTemperature ** GeographicArea and entity CelsiusDegree(s) haelt waehrend ** TimePosition %n{nicht}, dann 10.0 ist groesserAls ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>     (and         (climateTypeInArea ?AREA TemperateClimateZone)         (instance ?MO Month)         (averageTemperatureForPeriod ?AREA ?MO             (MeasureFn ?TEMP CelsiusDegree)))     (greaterThanOrEqualTo ?TEMP -3.0))	Geography.kif 1419-1425	Wenn climateTypeInArea GeographicArea and TemperateClimateZone und TimeInterval ist ein fall von Month %n{nicht} und averageTemperatureForPeriod ** GeographicArea, ** TimeInterval and RealNumber CelsiusDegree(s), dann ** RealNumber ist groesserAlsOderGleich -3.0 %n{nicht}
(=>     (and         (climateTypeInArea ?AREA TropicalClimateZone)         (instance ?MO Month)         (averageRainfallForPeriod ?AREA ?MO             (MeasureFn ?AMOUNT                 (MilliFn Meter)))         (greaterThanOrEqualTo ?AMOUNT 60.0))     (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 1316-1323	Wenn climateTypeInArea GeographicArea and TropicalClimateZone und Month ist ein fall von Month %n{nicht} und averageRainfallForPeriod ** GeographicArea, ** Month and RealNumber ein tausendstes einer Meter(s) und ** RealNumber ist groesserAlsOderGleich 60.0 %n{nicht}, dann climateTypeInArea ** GeographicArea and WetTropicalClimateZone
(=>     (and         (comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2)         (instance ?UNIT UnitOfArea)         (measure ?REGION1             (MeasureFn ?NUM1 ?UNIT))         (measure ?REGION2             (MeasureFn ?NUM2 ?UNIT)))     (?RELATION         (MeasureFn ?NUM1 ?UNIT)         (MeasureFn             (MultiplicationFn ?FACTOR ?NUM2) ?UNIT)))	Geography.kif 659-669	Wenn comparativeArea GeographicArea, BinaryRelationExtendedToQuantities, PositiveRealNumber and ** GeographicArea und UnitOfMeasure ist ein fall von UnitOfArea %n{nicht} und das mass von ** GeographicArea ist RealNumber ** UnitOfMeasure(s) %n{nicht} und das mass von ** ** GeographicArea ist ** RealNumber ** UnitOfMeasure(s) %n{nicht}, dann ** BinaryRelationExtendedToQuantities ** RealNumber ** UnitOfMeasure(s) and ** PositiveRealNumber und ** ** RealNumber ** UnitOfMeasure(s)
(=>     (and         (concentration             (MeasureFn ?N1 ?U) ?S             (MeasureFn ?N2 ?U2) ?M)         (instance ?SI ?S)         (part ?SI ?M)         (measure ?SI             (MeasureFn ?N3 ?U3))         (part ?SI ?M)         (not             (instance ?SI2 ?S))         (not             (equal ?SI ?SIE2))         (part ?SI2 ?M)         (measure ?M             (MeasureFn ?N2 ?U2)))     (approximateValue ?N1 ?N3))	Medicine.kif 234-249	Wenn concentration RealNumber UnitOfMeasure(s), ** Substance, ** RealNumber ** UnitOfMeasure2(s) and Mixture und ** SubstanceI ist ein fall von ** ** Substance %n{nicht} und ** ** SubstanceI ist ein teil von ** Mixture %n{nicht} und das mass von ** ** SubstanceI ist ** RealNumber ** UnitOfMeasure3(s) %n{nicht} und ** ** SubstanceI ist ein teil von ** Mixture %n{nicht} und ** ** SubstanceI2 ist ein fall von ** ** Substance nicht und ** ** SubstanceI ist gleich ** ** SubstanceIE2 nicht und ** ** SubstanceI2 ist ein teil von ** Mixture %n{nicht} und das mass von ** Mixture ist ** ** RealNumber ** UnitOfMeasure2(s) %n{nicht}, dann approximateValue ** RealNumber and ** ** RealNumber
(=>     (and         (currentAccountBalance ?Account ?Date             (MeasureFn ?Balance UnitedStatesDollar))         (lessThan ?Balance 0)         (equal ?Overdraft             (SubtractionFn 0 ?Balance)))     (overdraft ?Account         (MeasureFn ?Overdraft UnitedStatesDollar) ?Date))	FinancialOntology.kif 783-788	Wenn currentAccountBalance FinancialAccount, Day and RealNumber UnitedStatesDollar(s) und ** RealNumber ist kleinerAls 0 %n{nicht} und ** RealNumber ist gleich (0 und ** RealNumber) %n{nicht}, dann overdraft ** FinancialAccount, ** ** RealNumber UnitedStatesDollar(s) and ** Day
(=>     (and         (dampingRatio ?P ?R)         (greaterThan ?R 0)         (instance ?T Tremor)         (patient ?T ?P)         (instance ?U UnitOfLength)         (holdsDuring ?T1             (physicalAmplitude ?T                 (MeasureFn ?A1 ?U)))         (holdsDuring ?T2             (physicalAmplitude ?T                 (MeasureFn ?A2 ?U)))         (during ?T1 ?T)         (during ?T2 ?T)         (earlier ?T1 ?T2))     (greaterThan ?A1 ?A2))	Cars.kif 809-825	Wenn dampingRatio PhysicalSystem and RealNumber und ** RealNumber ist groesserAls 0 %n{nicht} und TimeInterval ist ein fall von Tremor %n{nicht} und ** PhysicalSystem ist ein patient von ** TimeInterval %n{nicht} und Entity ist ein fall von UnitOfLength %n{nicht} und physicalAmplitude ** TimeInterval and ** RealNumber ** Entity(s) haelt waehrend ** TimeInterval1 %n{nicht} und physicalAmplitude ** TimeInterval and ** RealNumber ** Entity(s) haelt waehrend ** TimeInterval2 %n{nicht} und ** TimeInterval1 geschieht waehrend ** TimeInterval %n{nicht} und ** TimeInterval2 geschieht waehrend ** TimeInterval %n{nicht} und ** TimeInterval1 geschieht frueh als ** TimeInterval2 %n{nicht}, dann ** ** RealNumber ist groesserAls ** ** RealNumber %n{nicht}
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners