  Browsing Interface : Welcome guest : log in [  Home |  Graph |  ]  KB:  SUMO Language:  AlbanianLanguageArabicLanguageBasqueLanguageBulgarianLanguageCatalanLanguageChineseLanguageChineseTraditionalLanguageCroatianLanguageDanishLanguageEnglishLanguageFarsiLanguageFinnishLanguageFrenchLanguageGalicianLanguageGreekLanguageHebrewLanguageIcelandicLanguageIndonesianLanguageItalianLanguageJapaneseLanguageMalayLanguageNorwegianBokmalLanguageNorwegianNorskLanguagePolishLanguagePortugueseLanguageSpanishLanguageSwedishLanguageTaiwanChineseLanguageThaiLanguagede   Formal Language:  OWLSUO-KIFTPTPtraditionalLogic

 KB Term: Term intersection English Word: Any Noun Verb Adjective Adverb   MeasureFn Sigma KEE - MeasureFn
 MeasureFn

 appearance as argument number 1 (documentation MeasureFn ChineseLanguage "这个 BinaryFunction 把一个 RealNumber 和一个 UnitOfMeasure 联系成这个 Number 的单位。 这是用来表达 PhysicalQuantity 的某种分量的实例。 例如：三米可以这样来表示 (MeasureFn 3Meter)。") Merge.kif 6511-6513 (documentation MeasureFn EnglishLanguage "This BinaryFunction maps a RealNumber and a UnitOfMeasure to that Number of units. It is used to express `measured' instances of PhysicalQuantity. Example: the concept of three meters is represented as (MeasureFn 3 Meter).") Merge.kif 6506-6510 (domain MeasureFn 1 RealNumber) Merge.kif 6503-6503 The number 1 argument of measure is an instance of real number (domain MeasureFn 2 UnitOfMeasure) Merge.kif 6504-6504 The number 2 argument of measure is an instance of unit of measure (instance MeasureFn BinaryFunction) Merge.kif 6501-6501 Measure is an instance of binary function (instance MeasureFn TotalValuedRelation) Merge.kif 6502-6502 Measure is an instance of total valued relation (range MeasureFn PhysicalQuantity) Merge.kif 6505-6505 The range of measure is an instance of physical quantity

 appearance as argument number 2 (format ChineseLanguage MeasureFn "%1 %2") chinese_format.kif 633-633 (format EnglishLanguage MeasureFn "%1 %2(s)") english_format.kif 394-394 (termFormat ChineseLanguage MeasureFn "计量函数") chinese_format.kif 634-634 "计量函数" is the printable form of measure in ChineseLanguage (termFormat EnglishLanguage MeasureFn "measure") domainEnglishFormat.kif 6531-6531 "measure" is the printable form of measure in english language

 antecedent (<=>     (and         (instance ?LD LiquidDrop)         (approximateDiameter ?LD             (MeasureFn ?S Micrometer))         (lessThan 500 ?S))     (instance ?LD Droplet)) Geography.kif 6874-6880 A self connected object is an instance of liquid drop and the approximate diameter of the self connected object is a real number micrometer(s) and 500 is less than the real number if and only if the self connected object is an instance of droplet (<=>     (and         (instance ?PM ParticulateMatter)         (part ?P ?PM)         (approximateDiameter ?P             (MeasureFn ?S Micrometer))         (greaterThan 10 ?S)         (greaterThan ?S 2.5))     (exists (?PM10)         (and             (instance ?PM10 CoarseParticulateMatter)             (part ?PM10 ?PM)))) Geography.kif 6790-6801 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and 10 is greater than the real number and the real number is greater than 2.5 if and only if there exists the object10 such that the object10 is an instance of PM10 and the object10 is a part of the object (<=>     (and         (instance ?PM ParticulateMatter)         (part ?P ?PM)         (approximateDiameter ?P             (MeasureFn ?S Micrometer))         (greaterThanOrEqualTo ?S 2.5))     (exists (?PM25)         (and             (instance ?PM25 FineParticulateMatter)             (part ?PM25 ?PM)))) Geography.kif 6819-6829 An object is an instance of PM and a self connected object is a part of the object and the approximate diameter of the self connected object is a real number micrometer(s) and the real number is greater than or equal to 2.5 if and only if there exists the object25 such that the object25 is an instance of PM2.5 and the object25 is a part of the object (<=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?AMOUNT             (MeasureFn 1                 (SquareUnitFn ?UNIT))))     (equal ?AMOUNT         (MultiplicationFn             (MeasureFn 1 ?UNIT)             (MeasureFn 1 ?UNIT)))) Geography.kif 3748-3752 An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity is equal to 1 the unit of measure(s) and 1 the unit of measure(s) (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 0 AngularDegree))     (orientation ?OBJ1 ?OBJ2 North)) Geography.kif 3556-3558 An object courseWRT true north another object for 0 angular degree(s) if and only if the object is north to the other object (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 135 AngularDegree))     (orientation ?OBJ1 ?OBJ2 Southeast)) Geography.kif 3580-3582 An object courseWRT true north another object for 135 angular degree(s) if and only if the object is southeast to the other object (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 180 AngularDegree))     (orientation ?OBJ1 ?OBJ2 South)) Geography.kif 3564-3566 An object courseWRT true north another object for 180 angular degree(s) if and only if the object is south to the other object (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 225 AngularDegree))     (orientation ?OBJ1 ?OBJ2 Southwest)) Geography.kif 3584-3586 An object courseWRT true north another object for 225 angular degree(s) if and only if the object is southwest to the other object (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 270 AngularDegree))     (orientation ?OBJ1 ?OBJ2 West)) Geography.kif 3568-3570 An object courseWRT true north another object for 270 angular degree(s) if and only if the object is west to the other object (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 315 AngularDegree))     (orientation ?OBJ1 ?OBJ2 Northwest)) Geography.kif 3588-3590 An object courseWRT true north another object for 315 angular degree(s) if and only if the object is northwest to the other object (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 360 AngularDegree))     (orientation ?OBJ1 ?OBJ2 North)) Geography.kif 3572-3574 An object courseWRT true north another object for 360 angular degree(s) if and only if the object is north to the other object (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 45 AngularDegree))     (orientation ?OBJ1 ?OBJ2 Northeast)) Geography.kif 3576-3578 An object courseWRT true north another object for 45 angular degree(s) if and only if the object is northeast to the other object (<=>     (courseWRTTrueNorth ?OBJ1 ?OBJ2         (MeasureFn 90 AngularDegree))     (orientation ?OBJ1 ?OBJ2 East)) Geography.kif 3560-3562 An object courseWRT true north another object for 90 angular degree(s) if and only if the object is east to the other object (<=>     (measure ?O         (MeasureFn ?A MetricTon))     (measure ?O         (MeasureFn             (MultiplicationFn ?A 2205) PoundMass))) Mid-level-ontology.kif 11199-11205 The measure of an object is a real number metric ton(s) if and only if the measure of the object is the real number and 2205 pound mass(s) (<=>     (measure ?OBJ         (MeasureFn ?DEG AngularDegree))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60 ?DEG) ArcMinute))) Geography.kif 378-380 The measure of an object is a real number angular degree(s) if and only if the measure of the object is 60 and the real number arc minute(s) (<=>     (measure ?OBJ         (MeasureFn ?DEG ArcMinute))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60 ?DEG) ArcSecond))) Geography.kif 397-399 The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s) (<=>     (measure ?OBJECT         (MeasureFn ?NUMBER OunceMass))     (measure ?OBJECT         (MeasureFn             (DivisionFn ?NUMBER 16) PoundMass))) Mid-level-ontology.kif 10939-10944 The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s) (<=>     (measure ?SOLUTION         (MeasureFn ?PH PHValue))     (potentialOfHydrogen ?SOLUTION ?PH)) Geography.kif 2477-2480 The measure of a solution is a real number PH value(s) if and only if the real number is a potential of hydrogen of the solution (=>     (and         (approximateDiameter ?O             (MeasureFn ?L ?LM))         (sphereRadius ?S             (MeasureFn                 (DivisionFn ?L 2) ?LM))         (measure ?S             (MeasureFn ?V1 ?VM))         (measure ?O             (MeasureFn ?V2 ?VM))         (instance ?LM LengthMeasure)         (instance ?VM VolumeMeasure))     (equal ?V1 ?V2)) Mid-level-ontology.kif 15652-15663 If the approximate diameter of a self connected object is a real number the real numberM(s) and the radius of an object is the real number and 2 the real numberM(s) and the measure of the object is another real number another unit of measure(s) and the measure of the self connected object is a third real number the other unit of measure(s) and the real numberM is an instance of length measure and the other unit of measure is an instance of volume measure,then the other real number is equal to the third real number (=>     (and         (arableLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 0)         (totalArea ?REGION             (MeasureFn ?TOTAL ?UNIT))         (instance ?UNIT UnitOfArea)         (equal ?AMOUNT             (MeasureFn                 (MultiplicationFn ?FRACTION ?TOTAL) ?UNIT)))     (arableLandArea ?REGION ?AMOUNT)) Geography.kif 2028-2035 If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea and another constant quantity is equal to the constant quantity and the real number the unit of measure(s),then the other constant quantity is an arable land area of the geographic area (=>     (and         (arableLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 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 2037-2047 If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea,then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the constant quantity and the real number the unit of measure(s) (=>     (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 13830-13843 If a real number an unit of measure(s) is a boiling point of a kind of pure substance and an entity is an instance of a kind of pure substance and the measure of the entity is a quantity the unit of measure(s) holds during a time interval and the unit of measure is an instance of UnitOfTemperature and the quantity is greater than or equal to the real number,then gas is an attribute of the entity holds during the time interval or there exists a process such that the time interval overlaps the time of existence of the process and the process is an instance of boiling and the entity is a patient of the process (=>     (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 655-661 If a geographic area comparative area a BinaryRelationExtendedToQuantities for a positive real number with another geographic area and an unit of measure is an instance of UnitOfArea and the measure of the geographic area is a real number the unit of measure(s) and the measure of the other geographic area is another real number the unit of measure(s),then the BinaryRelationExtendedToQuantities the real number the unit of measure(s) and the positive real number and the other real number the unit of measure(s) (=>     (and         (currentAccountBalance ?Account ?Date             (MeasureFn ?Balance UnitedStatesDollar))         (lessThan ?Balance 0)         (equal ?Overdraft             (SubtractionFn 0 ?Balance)))     (overdraft ?Account         (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) FinancialOntology.kif 733-738 If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and another real number is equal to (0 and the real number),then the financial account overdraft the other real number united states dollar(s) for the day (=>     (and         (defaultMaximumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (greaterThan ?QUANTITY ?Q))) Unlikely)) Mid-level-ontology.kif 11131-11140 If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 consequent (<=>     (and         (instance ?UNIT UnitOfMeasure)         (equal ?AMOUNT             (MeasureFn 1                 (SquareUnitFn ?UNIT))))     (equal ?AMOUNT         (MultiplicationFn             (MeasureFn 1 ?UNIT)             (MeasureFn 1 ?UNIT)))) Geography.kif 3748-3752 An unit of measure is an instance of unit of measure and a physical quantity is equal to 1 the square unit of the unit of measure(s) if and only if the physical quantity is equal to 1 the unit of measure(s) and 1 the unit of measure(s) (<=>     (and         (instance ?X Region)         (holdsDuring ?T             (property ?X StandardAmbientTemperaturePressure)))     (holdsDuring ?T         (and             (airTemperature ?X                 (MeasureFn 298.15 KelvinDegree))             (barometricPressure ?X                 (MeasureFn 29.530 InchMercury))))) Weather.kif 1086-1096 An entity is an instance of region and the entity has an attribute standard ambient temperature and pressure holds during a time position if and only if 298.15 kelvin degree(s) is an air temperature of the entity and 29.530 inch mercury(s) is a barometric pressure of the entity holds during the time position (<=>     (attribute ?WATER OpenSea)     (forall (?LAND)         (and             (instance ?AREA SaltWaterArea)             (not                 (instance ?WATER LandlockedWater))             (distance ?LAND ?WATER ?DIST)             (greaterThan ?DIST                 (MeasureFn 5 NauticalMile))))) Geography.kif 4408-4415 Open sea is an attribute of an object if and only if for all a physical an entity is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is a length measure and the length measure is greater than 5 nautical mile(s) (<=>     (compressionRatio ?E ?R)     (and         (minCylinderVolume ?E             (MeasureFn ?MIN ?M))         (maxCylinderVolume ?E             (MeasureFn ?MAX ?M))         (equal ?R             (DivisionFn ?MIN ?MAX)))) Cars.kif 1917-1922 The compression ratio of an engine is a real number if and only if the minimum volume of the cylinders in the engine the engine is another real number an unit of measure(s) and the maximum volume of the cylinders in the engine the engine is the unit of measureAX the unit of measure(s) and the real number is equal to the other real number and the unit of measureAX (<=>     (equal         (DeathsPerThousandLiveBirthsFn ?AREA             (YearFn ?YEAR)) ?REALNUMBER)     (and         (equal ?BIRTHCOUNT             (CardinalityFn                 (KappaFn ?BIRTH                     (and                         (instance ?BIRTH Birth)                         (experiencer ?BIRTH ?INFANT)                         (instance ?INFANT Human)                         (during                             (WhenFn ?BIRTH)                             (YearFn ?YEAR))                         (equal                             (WhereFn ?BIRTH                                 (WhenFn ?BIRTH)) ?AREA)))))         (equal             (DivisionFn ?BIRTHCOUNT 1000) ?THOUSANDSOFBIRTHS)         (equal ?INFANTDEATHCOUNT             (CardinalityFn                 (KappaFn ?DEATH                     (and                         (instance ?DEATH Death)                         (experiencer ?DEATH ?INFANT)                         (instance ?INFANT Human)                         (age ?INFANT                             (MeasureFn ?AGE YearDuration))                         (lessThan ?AGE 1)                         (during                             (WhenFn ?DEATH)                             (YearFn ?YEAR))                         (equal                             (WhereFn ?DEATH                                 (WhenFn ?DEATH)) ?AREA)))))         (equal             (DivisionFn ?INFANTDEATHCOUNT ?THOUSANDSOFBIRTHS) ?REALNUMBER))) People.kif 253-277 The deaths per thousand live births of a geopolitical area and the year an integer is equal to a real number if and only if another integer is equal to the number of instances in the class described by a symbolic string and the other integer and 1000 is equal to a quantity and a third integer is equal to the number of instances in the class described by another symbolic string and the third integer and the quantity is equal to the real number (<=>     (equal         (FemaleLifeExpectancyAtBirthFn ?AREA             (YearFn ?YEAR)) ?REALNUMBER)     (exists (?LIST)         (and             (instance ?LIST List)             (instance                 (ListLengthFn ?LIST) ?COUNT)             (forall (?LISTITEM)                 (=>                     (inList ?LISTITEM ?LIST)                     (and                         (instance ?LISTITEM ?LIFEEXPECTANCYAGE)                         (not                             (exists (?NUMBER)                                 (and                                     (instance ?NUMBER ?LIFEEXPECTANCYAGE)                                     (not                                         (inList ?NUMBER ?LIST)))))                         (equal ?COUNT                             (CardinalityFn                                 (KappaFn ?LIFEEXPECTANCYAGE                                     (and                                         (instance ?BIRTH Birth)                                         (experiencer ?BIRTH ?INDIVIDUAL)                                         (instance ?INDIVIDUAL Human)                                         (attribute ?INDIVIDUAL Female)                                         (during                                             (WhenFn ?BIRTH)                                             (YearFn ?YEAR))                                         (equal                                             (WhereFn ?BIRTH                                                 (WhenFn ?BIRTH)) ?AREA)                                         (instance ?DEATH Death)                                         (experiencer ?DEATH ?INDIVIDUAL)                                         (holdsDuring                                             (WhenFn ?DEATH)                                             (age ?INDIVIDUAL                                                 (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))             (average ?LIST ?REALNUMBER)))) People.kif 411-442 The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list,then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list (<=>     (equal         (LifeExpectancyAtBirthFn ?AREA             (YearFn ?YEAR)) ?REALNUMBER)     (exists (?LIST)         (and             (instance ?LIST List)             (instance                 (ListLengthFn ?LIST) ?COUNT)             (forall (?LISTITEM)                 (=>                     (inList ?LISTITEM ?LIST)                     (and                         (instance ?LISTITEM ?LIFEEXPECTANCYAGE)                         (not                             (exists (?NUMBER)                                 (and                                     (instance ?NUMBER ?LIFEEXPECTANCYAGE)                                     (not                                         (inList ?NUMBER ?LIST)))))                         (equal ?COUNT                             (CardinalityFn                                 (KappaFn ?LIFEEXPECTANCYAGE                                     (and                                         (instance ?BIRTH Birth)                                         (experiencer ?BIRTH ?INDIVIDUAL)                                         (instance ?INDIVIDUAL Human)                                         (during                                             (WhenFn ?BIRTH)                                             (YearFn ?YEAR))                                         (equal                                             (WhereFn ?BIRTH                                                 (WhenFn ?BIRTH)) ?AREA)                                         (instance ?DEATH Death)                                         (experiencer ?DEATH ?INDIVIDUAL)                                         (holdsDuring                                             (WhenFn ?DEATH)                                             (age ?INDIVIDUAL                                                 (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))             (average ?LIST ?REALNUMBER)))) People.kif 323-353 The life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list,then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list (<=>     (equal         (MaleLifeExpectancyAtBirthFn ?AREA             (YearFn ?YEAR)) ?REALNUMBER)     (exists (?LIST)         (and             (instance ?LIST List)             (instance                 (ListLengthFn ?LIST) ?COUNT)             (forall (?LISTITEM)                 (=>                     (inList ?LISTITEM ?LIST)                     (and                         (instance ?LISTITEM ?LIFEEXPECTANCYAGE)                         (not                             (exists (?NUMBER)                                 (and                                     (instance ?NUMBER ?LIFEEXPECTANCYAGE)                                     (not                                         (inList ?NUMBER ?LIST)))))                         (equal ?COUNT                             (CardinalityFn                                 (KappaFn ?LIFEEXPECTANCYAGE                                     (and                                         (instance ?BIRTH Birth)                                         (experiencer ?BIRTH ?INDIVIDUAL)                                         (instance ?INDIVIDUAL Human)                                         (attribute ?INDIVIDUAL Male)                                         (during                                             (WhenFn ?BIRTH)                                             (YearFn ?YEAR))                                         (equal                                             (WhereFn ?BIRTH                                                 (WhenFn ?BIRTH)) ?AREA)                                         (instance ?DEATH Death)                                         (experiencer ?DEATH ?INDIVIDUAL)                                         (holdsDuring                                             (WhenFn ?DEATH)                                             (age ?INDIVIDUAL                                                 (MeasureFn ?LIFEEXPECTANCYAGE YearDuration))))))))))             (average ?LIST ?REALNUMBER)))) People.kif 367-398 The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of another integer and for all the listITEM if the listITEM is a member of the list,then the listITEM is an instance of a symbolic string and there doesn't exist another entity such that the other entity is an instance of the symbolic string and the other entity is not a member of the list and the other integer is equal to the number of instances in the class described by the symbolic string and the real number is an average of the list (<=>     (larger ?OBJ1 ?OBJ2)     (forall (?QUANT1 ?QUANT2 ?UNIT)         (=>             (and                 (measure ?OBJ1                     (MeasureFn ?QUANT1 ?UNIT))                 (measure ?OBJ2                     (MeasureFn ?QUANT2 ?UNIT))                 (instance ?UNIT UnitOfLength))             (greaterThan ?QUANT1 ?QUANT2)))) Merge.kif 7963-7971 An object is larger than another object if and only if for all a real number, another real number and an unit of measure if the measure of the object is the real number the unit of measure(s) and the measure of the other object is the other real number the unit of measure(s) and the unit of measure is an instance of UnitOfLength,then the real number is greater than the other real number (<=>     (measure ?O         (MeasureFn ?A MetricTon))     (measure ?O         (MeasureFn             (MultiplicationFn ?A 2205) PoundMass))) Mid-level-ontology.kif 11199-11205 The measure of an object is a real number metric ton(s) if and only if the measure of the object is the real number and 2205 pound mass(s) (<=>     (measure ?OBJ         (MeasureFn ?DEG AngularDegree))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60 ?DEG) ArcMinute))) Geography.kif 378-380 The measure of an object is a real number angular degree(s) if and only if the measure of the object is 60 and the real number arc minute(s) (<=>     (measure ?OBJ         (MeasureFn ?DEG ArcMinute))     (measure ?OBJ         (MeasureFn             (MultiplicationFn 60 ?DEG) ArcSecond))) Geography.kif 397-399 The measure of an object is a real number arc minute(s) if and only if the measure of the object is 60 and the real number arc second(s) (<=>     (measure ?OBJECT         (MeasureFn ?NUMBER OunceMass))     (measure ?OBJECT         (MeasureFn             (DivisionFn ?NUMBER 16) PoundMass))) Mid-level-ontology.kif 10939-10944 The measure of an object is a real number Ounce(s) if and only if the measure of the object is the real number and 16 pound mass(s) (=>     (and         (arableLandArea ?REGION ?FRACTION)         (greaterThanOrEqualTo ?FRACTION 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 2037-2047 If a constant quantity is an arable land area of a geographic area and the constant quantity is greater than or equal to 0 and a real number an unit of measure(s) is a total area of the geographic area and the unit of measure is an instance of UnitOfArea,then there exists another geographic area such that the other geographic area is an instance of arable land and the other geographic area is a geographic subregion of the geographic area and the measure of the other geographic area is the constant quantity and the real number the unit of measure(s) (=>     (and         (attribute ?P CollegeFreshman)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring ?T                 (student ?H ?ORG))             (lessThan ?T                 (MeasureFn 1 YearDuration))))) Mid-level-ontology.kif 16311-16319 If college freshman is an attribute of a position and a human holds the position of the position in an organization,then there exists a time position such that the human is a student of the organization holds during the time position and the time position is less than 1 year duration(s) (=>     (and         (attribute ?P CollegeJunior)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring ?T                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T                 (MeasureFn 2 YearDuration))             (lessThan ?T                 (MeasureFn 3 YearDuration))))) Mid-level-ontology.kif 16325-16336 If college junior is an attribute of a position and a human holds the position of the position in an organization,then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 2 year duration(s) and the time position is less than 3 year duration(s) (=>     (and         (attribute ?P CollegeSenior)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring ?T                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T                 (MeasureFn 3 YearDuration))             (lessThan ?T                 (MeasureFn 4 YearDuration))))) Mid-level-ontology.kif 16342-16353 If college senior is an attribute of a position and a human holds the position of the position in an organization,then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 3 year duration(s) and the time position is less than 4 year duration(s) (=>     (and         (attribute ?P CollegeSophomore)         (occupiesPosition ?H ?P ?ORG))     (exists (?T)         (and             (holdsDuring ?T                 (student ?H ?ORG))             (greaterThanOrEqualTo ?T                 (MeasureFn 1 YearDuration))             (lessThan ?T                 (MeasureFn 2 YearDuration))))) Mid-level-ontology.kif 16359-16370 If college sophomore is an attribute of a position and a human holds the position of the position in an organization,then there exists a time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 1 year duration(s) and the time position is less than 2 year duration(s) (=>     (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 655-661 If a geographic area comparative area a BinaryRelationExtendedToQuantities for a positive real number with another geographic area and an unit of measure is an instance of UnitOfArea and the measure of the geographic area is a real number the unit of measure(s) and the measure of the other geographic area is another real number the unit of measure(s),then the BinaryRelationExtendedToQuantities the real number the unit of measure(s) and the positive real number and the other real number the unit of measure(s) (=>     (and         (currentAccountBalance ?Account ?Date             (MeasureFn ?Balance UnitedStatesDollar))         (lessThan ?Balance 0)         (equal ?Overdraft             (SubtractionFn 0 ?Balance)))     (overdraft ?Account         (MeasureFn ?Overdraft UnitedStatesDollar) ?Date)) FinancialOntology.kif 733-738 If a financial account current account balance a day for a real number united states dollar(s) and the real number is less than 0 and another real number is equal to (0 and the real number),then the financial account overdraft the other real number united states dollar(s) for the day (=>     (and         (defaultMaximumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (greaterThan ?QUANTITY ?Q))) Unlikely)) Mid-level-ontology.kif 11131-11140 If the maximum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number has the modal force of unlikely (=>     (and         (defaultMaximumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT1))         (subclass ?UNITCLASS NonCompositeUnitMeasure)         (instance ?UNIT1 ?UNITCLASS))     (modalAttribute         (exists (?INST ?QUANTITY ?UNIT2)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT2))                 (instance ?UNIT2 ?UNITCLASS)                 (greaterThan                     (MeasureFn ?QUANTITY ?UNIT2)                     (MeasureFn ?Q ?UNIT1)))) Unlikely)) Mid-level-ontology.kif 11141-11152 If the maximum expected value of a kind of object is a real number an unit of measure(s) and a set or class is a subclass of NonCompositeUnitMeasure and the unit of measure is an instance of the set or class,then the statement there exist an entity, the real numberUANTITY and a third entity such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the third entity(s) and the third entity is an instance of the set or class and the real numberUANTITY the third entity(s) is greater than the real number the unit of measure(s) has the modal force of unlikely (=>     (and         (defaultMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (greaterThan ?QUANTITY                     (MultiplicationFn ?Q 1.5)))) Unlikely)) Mid-level-ontology.kif 11160-11169 If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is greater than the real number and 1.5 has the modal force of unlikely (=>     (and         (defaultMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (lessThan ?QUANTITY                     (MultiplicationFn ?Q .5)))) Unlikely)) Mid-level-ontology.kif 11171-11180 If the expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number and .5 has the modal force of unlikely (=>     (and         (defaultMinimumMeasure ?OBJECT             (MeasureFn ?Q ?UNIT))         (instance ?UNIT CompositeUnitOfMeasure))     (modalAttribute         (exists (?INST ?QUANTITY)             (and                 (instance ?INST ?OBJECT)                 (measure ?INST                     (MeasureFn ?QUANTITY ?UNIT))                 (lessThan ?QUANTITY ?Q))) Unlikely)) Mid-level-ontology.kif 11102-11111 If the minimum expected value of a kind of object is a real number an unit of measure(s) and the unit of measure is an instance of CompositeUnitOfMeasure,then the statement there exist an entity and the real numberUANTITY such that the entity is an instance of a kind of object and the measure of the entity is the real numberUANTITY the unit of measure(s) and the real numberUANTITY is less than the real number has the modal force of unlikely Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25

 statement (boilingPoint Actinium     (MeasureFn 3470 KelvinDegree)) Mid-level-ontology.kif 27511-27511 3470 Kelvin degree(s) is a boiling point of actinium (boilingPoint Aluminum     (MeasureFn 2740 KelvinDegree)) Mid-level-ontology.kif 27359-27359 2740 Kelvin degree(s) is a boiling point of aluminum (boilingPoint Americium     (MeasureFn 2880 KelvinDegree)) Mid-level-ontology.kif 27523-27523 2880 Kelvin degree(s) is a boiling point of americium (boilingPoint Antimony     (MeasureFn 2023 KelvinDegree)) Mid-level-ontology.kif 27435-27435 2023 Kelvin degree(s) is a boiling point of antimony (boilingPoint Argon     (MeasureFn 87.29 KelvinDegree)) Mid-level-ontology.kif 27369-27369 87.29 Kelvin degree(s) is a boiling point of argon (boilingPoint Arsenic     (MeasureFn 886 KelvinDegree)) Mid-level-ontology.kif 27399-27399 886 Kelvin degree(s) is a boiling point of arsenic (boilingPoint Astatine     (MeasureFn 610 KelvinDegree)) Mid-level-ontology.kif 27503-27503 610 Kelvin degree(s) is a boiling point of astatine (boilingPoint Barium     (MeasureFn 1913 KelvinDegree)) Mid-level-ontology.kif 27445-27445 1913 Kelvin degree(s) is a boiling point of barium (boilingPoint Beryllium     (MeasureFn 3243 KelvinDegree)) Mid-level-ontology.kif 27341-27341 3243 Kelvin degree(s) is a boiling point of beryllium (boilingPoint Bismuth     (MeasureFn 1833 KelvinDegree)) Mid-level-ontology.kif 27499-27499 1833 Kelvin degree(s) is a boiling point of bismuth (boilingPoint Boron     (MeasureFn 2823 KelvinDegree)) Mid-level-ontology.kif 27343-27343 2823 Kelvin degree(s) is a boiling point of boron (boilingPoint Bromine     (MeasureFn 331.93 KelvinDegree)) Mid-level-ontology.kif 27403-27403 331.93 Kelvin degree(s) is a boiling point of bromine (boilingPoint Cadmium     (MeasureFn 1038 KelvinDegree)) Mid-level-ontology.kif 27429-27429 1038 Kelvin degree(s) is a boiling point of cadmium (boilingPoint Caesium     (MeasureFn 963 KelvinDegree)) Mid-level-ontology.kif 27443-27443 963 Kelvin degree(s) is a boiling point of caesium (boilingPoint Calcium     (MeasureFn 1760 KelvinDegree)) Mid-level-ontology.kif 27373-27373 1760 Kelvin degree(s) is a boiling point of calcium (boilingPoint Carbon     (MeasureFn 5100 KelvinDegree)) Mid-level-ontology.kif 27345-27345 5100 Kelvin degree(s) is a boiling point of carbon (boilingPoint Cerium     (MeasureFn 3530 KelvinDegree)) Mid-level-ontology.kif 27449-27449 3530 Kelvin degree(s) is a boiling point of cerium (boilingPoint Chlorine     (MeasureFn 238.55 KelvinDegree)) Mid-level-ontology.kif 27367-27367 238.55 Kelvin degree(s) is a boiling point of chlorine (boilingPoint Chromium     (MeasureFn 2755 KelvinDegree)) Mid-level-ontology.kif 27381-27381 2755 Kelvin degree(s) is a boiling point of chromium (boilingPoint Cobalt     (MeasureFn 3143 KelvinDegree)) Mid-level-ontology.kif 27387-27387 3143 Kelvin degree(s) is a boiling point of cobalt (boilingPoint Copper     (MeasureFn 2868 KelvinDegree)) Mid-level-ontology.kif 27391-27391 2868 Kelvin degree(s) is a boiling point of copper (boilingPoint Dysprosium     (MeasureFn 2608 KelvinDegree)) Mid-level-ontology.kif 27465-27465 2608 Kelvin degree(s) is a boiling point of dysprosium (boilingPoint Erbium     (MeasureFn 2783 KelvinDegree)) Mid-level-ontology.kif 27469-27469 2783 Kelvin degree(s) is a boiling point of erbium (boilingPoint Europium     (MeasureFn 1870 KelvinDegree)) Mid-level-ontology.kif 27459-27459 1870 Kelvin degree(s) is a boiling point of europium (boilingPoint Fluorine     (MeasureFn 85.01 KelvinDegree)) Mid-level-ontology.kif 27351-27351 85.01 Kelvin degree(s) is a boiling point of fluorine Display limited to 25 items. Show next 25 Display limited to 25 items. Show next 25 Show simplified definition (without tree view)
Show simplified definition (with tree view) Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners