(<=>     (measure ?OBJ         (MeasureFn ?DEG AngularDegree))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60.0 ?DEG) ArcMinute)))	Geography.kif 548-550	Das mass von koerperlicher Gegenstand ist reelle Zahl AngularDegree(s) genau dann wenn das mass von ** koerperlicher Gegenstand ist 60.0 und ** reelle Zahl ArcMinute(s)
(<=>     (measure ?OBJ         (MeasureFn ?DEG ArcMinute))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60.0 ?DEG) ArcSecond)))	Geography.kif 567-569	Das mass von koerperlicher Gegenstand ist reelle Zahl ArcMinute(s) genau dann wenn das mass von ** koerperlicher Gegenstand ist 60.0 und ** reelle Zahl ArcSecond(s)
(<=>     (measure ?OBJECT         (MeasureFn ?NUMBER OunceMass))     (measure ?OBJECT         (MeasureFn             (DivisionFn ?NUMBER 16.0) PoundMass)))	Mid-level-ontology.kif 14665-14670	Das mass von koerperlicher Gegenstand ist reelle Zahl OunceMass(s) genau dann wenn das mass von ** koerperlicher Gegenstand ist ** reelle Zahl und 16.0 PoundMass(s)
(<=>     (measure ?SOLUTION         (MeasureFn ?PH PHValue))     (potentialOfHydrogen ?SOLUTION ?PH))	Geography.kif 2706-2709	Das mass von Loesung ist reelle Zahl PHValue(s) genau dann wenn potentialOfHydrogen ** Loesung and ** reelle Zahl
(<=>     (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
(=>     (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 7647-7662	Wenn amount ** Substanz, korpuskularer Gegenstand and reelle Zahl UnitOfMass(s) und ** SubstanzI ist ein fall von ** ** Substanz und das mass von ** ** SubstanzI ist ** reelle Zahl2 ** UnitOfMass(s) und ** ** SubstanzI ist ein teil von ** korpuskularer Gegenstand , dann es gibt Liste um ** reelle Zahl2 ** UnitOfMass(s) ist ein Mitglied von ** Liste und ** Liste ist gleich AmountsFn ** ** Substanz, ** korpuskularer Gegenstand and ** UnitOfMass und ** reelle Zahl ist gleich ListSumFn ** Liste
(=>     (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 19519-19530	Wenn approximateDiameter selbstverbundener Gegenstand and reelle Zahl ** reelle ZahlM(s) und sphereRadius Gegenstand and ** reelle Zahl und 2.0 ** reelle ZahlM(s) und das mass von ** Gegenstand ist ** reelle Zahl ** Masseinheit(s) und das mass von ** selbstverbundener Gegenstand ist ** reelle Zahl ** ** Masseinheit(s) und ** reelle ZahlM ist ein fall von UnitOfLength und ** ** Masseinheit ist ein fall von UnitOfVolume , dann ** ** reelle Zahl ist gleich ** ** reelle Zahl
(=>     (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 2238-2248	Wenn arableLandArea geographischer Bereich and reelle Zahl Masseinheit(s) und ** reelle Zahl ist groesserAlsOderGleich 0.0 und totalArea ** geographischer Bereich and ** reelle Zahl ** Masseinheit(s) und ** ** reelle Zahl ist ein fall von Bereichmass und ** reelle Zahl ist gleich ** reelle Zahl und ** ** reelle Zahl , dann arableLandArea ** geographischer Bereich and ** ** reelle Zahl ** Masseinheit(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 2250-2264	Wenn arableLandArea geographischer Bereich and reelle Zahl Masseinheit(s) und ** reelle Zahl ist groesserAlsOderGleich 0.0 und totalArea ** geographischer Bereich and ** reelle Zahl ** Masseinheit(s) und ** Masseinheit ist ein fall von UnitOfArea , dann es gibt ** geographischer Bereich um ** ** geographischer Bereich ist ein fall von ArableLand und geographicSubregion ** ** geographischer Bereich and ** geographischer Bereich und das mass von ** ** geographischer Bereich ist ** reelle Zahl und ** ** reelle Zahl ** Masseinheit(s)
(=>     (and         (arcLength ?SEMI             (MeasureFn ?L ?U))         (equal ?SEMI SemicircularArc))     (exists (?CIR ?C)         (and             (equal ?CIR Circle)             (geometricPart ?SEMI ?CIR)             (circumference ?CIR                 (MeasureFn ?C ?U))             (equal ?C                 (AdditionFn ?L ?L)))))	Mid-level-ontology.kif 5700-5710	Wenn arcLength CircularArc and reelle Zahl Masseinheit(s) und ** CircularArc ist gleich SemicircularArc , dann es gibt Circle und ** reelle Zahl um ** Circle ist gleich Circle und geometricPart ** CircularArc and ** Circle und circumference ** Circle and ** ** reelle Zahl ** Masseinheit(s) und ** ** reelle Zahl ist gleich (** reelle Zahl und ** reelle Zahl)
(=>     (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 Gegenstand und das mass von ** Gegenstand ist reelle Zahl Masseinheit(s) und FamilyStylePortion ist ein attribut von ** Gegenstand nicht und das mass von ** ** Gegenstand ist ** reelle Zahl ** Masseinheit(s) und ** Gegenstand ist ein fall von Kategorie und ** ** Gegenstand ist ein fall von ** Kategorie und ** Masseinheit ist ein fall von Masseinheit , dann ** reelle Zahl ist groesserAls ** ** reelle Zahl
(=>     (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 Gegenstand und ** Gegenstand ist ein fall von Blut und ** ** Gegenstand ist ein teil von ** Gegenstand und Female ist ein attribut von ** Gegenstand und das mass von ** ** Gegenstand ist 0.1 Liter(s) und ** GegenstandE ist ein fall von Hemoglobin und ** GegenstandE ist ein teil von ** ** Gegenstand und ** GegenstandE2 ist ein fall von Hemoglobin nicht und ** GegenstandE ist gleich ** GegenstandE2 nicht und ** Gegenstand2 ist ein teil von ** ** Gegenstand und das mass von ** GegenstandE ist reelle Zahl Gram(s) , dann ** reelle Zahl ist kleinerAls 12
(=>     (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 Gegenstand und ** Gegenstand ist ein fall von Blut und ** ** Gegenstand ist ein teil von ** Gegenstand und Male ist ein attribut von ** Gegenstand und das mass von ** ** Gegenstand ist 0.1 Liter(s) und ** GegenstandE ist ein fall von Hemoglobin und ** GegenstandE ist ein teil von ** ** Gegenstand und ** GegenstandE2 ist ein fall von Hemoglobin nicht und ** GegenstandE ist gleich ** GegenstandE2 nicht und ** Gegenstand2 ist ein teil von ** ** Gegenstand und das mass von ** GegenstandE ist reelle Zahl Gram(s) , dann ** reelle Zahl ist kleinerAls 13
(=>     (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 2025-2046	Wenn LimitOrder ist ein attribut von Geldtransaktion und partyToAgreement ** Geldtransaktion and Agreement und Broker ist ein attribut von ** Agreement und orderFor ** Geldtransaktion, Kaufen and Security und das mass von ** Security ist koerperliche Quantitaet und limitPrice ** Geldtransaktion and reelle Zahl Masseinheit(s) und ** Masseinheit ist ein fall von UnitOfCurrency und askPrice ** Security, ** reelle Zahl ** Masseinheit(s) and AutonomousAgent und ** ** reelle Zahl ist kleinerAlsOderGleich ** reelle Zahl , dann ** Agreement wird gezwungen, die Aufgabe der Art von die kategorie die Zeichenfolge beschreibt durchzuf�hren
(=>     (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 2048-2069	Wenn LimitOrder ist ein attribut von Geldtransaktion und partyToAgreement ** Geldtransaktion and Agreement und Broker ist ein attribut von ** Agreement und orderFor ** Geldtransaktion, Verkaufen and Security und das mass von ** Security ist koerperliche Quantitaet und limitPrice ** Geldtransaktion and reelle Zahl Masseinheit(s) und bidPrice ** Security, ** reelle Zahl ** Masseinheit(s) and AutonomousAgent und ** Masseinheit ist ein fall von UnitOfCurrency und ** ** reelle Zahl ist groesserAlsOderGleich ** reelle Zahl , dann ** Agreement wird gezwungen, die Aufgabe der Art von die kategorie die Zeichenfolge beschreibt durchzuf�hren
(=>     (and         (attribute ?W Windy)         (located ?W ?L)         (equal ?T             (WhenFn ?W))         (holdsDuring ?T             (surfaceWindSpeed ?L                 (MeasureFn ?N MilesPerHour))))     (greaterThan ?N 20.0))	Merge.kif 11414-11422	Wenn Windy ist ein attribut von Gegenstand und ** Gegenstand befindet sich an und Zeitabstand ist gleich die zeit des Bestehens von ** Gegenstand und surfaceWindSpeed ** Gegenstand and reelle Zahl MilesPerHour(s) haelt waehrend ** Zeitabstand , dann ** reelle Zahl ist groesserAls 20.0
(=>     (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 13994-14007	Wenn boilingPoint ** reine Substanz and reelle Zahl Masseinheit(s) und Wesen ist ein fall von ** reine Substanz und das mass von ** Wesen ist ** reelle Zahl ** Masseinheit(s) haelt waehrend Zeitabstand und ** Masseinheit ist ein fall von UnitOfTemperature und ** ** reelle Zahl ist groesserAlsOderGleich ** reelle Zahl , dann Gas ist ein attribut von ** Wesen haelt waehrend ** Zeitabstand oder es gibt Prozess um ** Zeitabstand deckt sich mit die zeit des Bestehens von ** Prozess und ** Prozess ist ein fall von kochend und ** Wesen ist ein patient von ** Prozess
(=>     (and         (capitalExpendituresOfAreaInPeriod ?AREA             (MeasureFn ?CAPAMOUNT ?UNIT) ?PERIOD)         (annualExpendituresOfAreaInPeriod ?AREA             (MeasureFn ?TOTALAMOUNT ?UNIT) ?PERIOD))     (greaterThan ?TOTALAMOUNT ?CAPAMOUNT))	Economy.kif 1663-1669	Wenn capitalExpendituresOfAreaInPeriod geopolitischer Bereich, reelle Zahl Masseinheit(s) and ** Zeitabstand und annualExpendituresOfAreaInPeriod ** geopolitischer Bereich, ** reelle Zahl ** Masseinheit(s) and ** Zeitabstand, dann ** ** reelle Zahl ist groesserAls ** reelle Zahl
(=>     (and         (climateTypeInArea ?AREA ColdClimateZone)         (forall (?MO)             (and                 (instance ?MO Month)                 (averageTemperatureForPeriod ?AREA ?MO                     (MeasureFn ?TEMP CelsiusDegree)))))     (greaterThan 10.0 ?TEMP))	Geography.kif 1686-1694	Wenn climateTypeInArea geographischer Bereich and ColdClimateZone und fuer alle Zeitabstand ** Zeitabstand ist ein fall von Monat und averageTemperatureForPeriod ** geographischer Bereich, ** Zeitabstand and reelle Zahl CelsiusDegree(s), dann 10.0 ist groesserAls ** reelle Zahl
(=>     (and         (climateTypeInArea ?AREA DesertClimateZone)         (instance ?MO Month)         (averageTemperatureForPeriod ?AREA ?MO             (MeasureFn ?TEMP CelsiusDegree))         (greaterThan ?TEMP 18.0))     (climateTypeInArea ?AREA SubtropicalDesertClimateZone))	Geography.kif 1534-1541	Wenn climateTypeInArea geographischer Bereich and DesertClimateZone und Zeitabstand ist ein fall von Monat und averageTemperatureForPeriod ** geographischer Bereich, ** Zeitabstand and reelle Zahl CelsiusDegree(s) und ** reelle Zahl ist groesserAls 18.0 , dann climateTypeInArea ** geographischer Bereich and SubtropicalDesertClimateZone
(=>     (and         (climateTypeInArea ?AREA PolarTypeFClimateZone)         (instance ?TIME TimePosition)         (holdsDuring ?TIME             (airTemperature ?AREA                 (MeasureFn ?TEMP CelsiusDegree))))     (holdsDuring ?TIME         (greaterThan 10.0 ?TEMP)))	Geography.kif 1761-1767	Wenn climateTypeInArea geographischer Bereich and PolarTypeFClimateZone und Zeitposition ist ein fall von Zeitposition und airTemperature ** geographischer Bereich and Wesen CelsiusDegree(s) haelt waehrend ** Zeitposition , dann 10.0 ist groesserAls ** Wesen haelt waehrend ** Zeitposition
(=>     (and         (climateTypeInArea ?AREA TemperateClimateZone)         (instance ?MO Month)         (averageTemperatureForPeriod ?AREA ?MO             (MeasureFn ?TEMP CelsiusDegree)))     (greaterThanOrEqualTo ?TEMP -3.0))	Geography.kif 1583-1589	Wenn climateTypeInArea geographischer Bereich and TemperateClimateZone und Zeitabstand ist ein fall von Monat und averageTemperatureForPeriod ** geographischer Bereich, ** Zeitabstand and reelle Zahl CelsiusDegree(s), dann ** reelle Zahl ist groesserAlsOderGleich -3.0
(=>     (and         (climateTypeInArea ?AREA TropicalClimateZone)         (instance ?MO Month)         (averageRainfallForPeriod ?AREA ?MO             (MeasureFn ?AMOUNT                 (MilliFn Meter)))         (greaterThanOrEqualTo ?AMOUNT 60.0))     (climateTypeInArea ?AREA WetTropicalClimateZone))	Geography.kif 1480-1487	Wenn climateTypeInArea geographischer Bereich and TropicalClimateZone und Monat ist ein fall von Monat und averageRainfallForPeriod ** geographischer Bereich, ** Monat and reelle Zahl ein tausendstes einer Meter(s) und ** reelle Zahl ist groesserAlsOderGleich 60.0 , dann climateTypeInArea ** geographischer Bereich 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 825-835	Wenn comparativeArea geographischer Bereich, BinaryRelationExtendedToQuantities, positive reelle Zahl and ** geographischer Bereich und Masseinheit ist ein fall von UnitOfArea und das mass von ** geographischer Bereich ist reelle Zahl ** Masseinheit(s) und das mass von ** ** geographischer Bereich ist ** reelle Zahl ** Masseinheit(s) , dann ** BinaryRelationExtendedToQuantities ** reelle Zahl ** Masseinheit(s) and ** positive reelle Zahl und ** ** reelle Zahl ** Masseinheit(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 reelle Zahl Masseinheit(s), ** Substanz, ** reelle Zahl ** Masseinheit2(s) and Mischung und ** SubstanzI ist ein fall von ** ** Substanz und ** ** SubstanzI ist ein teil von ** Mischung und das mass von ** ** SubstanzI ist ** reelle Zahl ** Masseinheit3(s) und ** ** SubstanzI ist ein teil von ** Mischung und ** ** SubstanzI2 ist ein fall von ** ** Substanz nicht und ** ** SubstanzI ist gleich ** ** SubstanzIE2 nicht und ** ** SubstanzI2 ist ein teil von ** Mischung und das mass von ** Mischung ist ** ** reelle Zahl ** Masseinheit2(s) , dann approximateValue ** reelle Zahl and ** ** reelle Zahl
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