Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasureFn

Sigma KEE - MeasureFn
MeasureFn

appearance as argument number 1
-------------------------


(documentation MeasureFn ChineseLanguage "这个 BinaryFunction 把一个 RealNumber 和一个 UnitOfMeasure 联系成这个 Number 的单位。 这是用来表达 PhysicalQuantity 的某种分量的实例。 例如:三米可以这样来表示 (MeasureFn 3Meter)。") Merge.kif 6477-6479
(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 6472-6476
(domain MeasureFn 1 RealNumber) Merge.kif 6469-6469
(domain MeasureFn 2 UnitOfMeasure) Merge.kif 6470-6470
(instance MeasureFn BinaryFunction) Merge.kif 6467-6467
(instance MeasureFn TotalValuedRelation) Merge.kif 6468-6468
(range MeasureFn PhysicalQuantity) Merge.kif 6471-6471

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
(format FrenchLanguage MeasureFn "%1 %2(s)") french_format.kif 383-383
(format ItalianLanguage MeasureFn "%1 %2(s") relations-it.txt 178-178
(format PortugueseLanguage MeasureFn "%1 %2(s)") portuguese_format.kif 335-335
(format cz MeasureFn "%1 %2(s)") relations-cz.txt 392-392
(format de MeasureFn "%1 %2(s)") relations-de.txt 829-829
(format hi MeasureFn "%1 %2(") relations-hindi.txt 216-216
(termFormat ChineseLanguage MeasureFn "计量函数") chinese_format.kif 634-634
(termFormat EnglishLanguage MeasureFn "measure") domainEnglishFormat.kif 6531-6531
(termFormat tg MeasureFn "tungkulin ng sukatan") relations-tg.txt 353-353

antecedent
-------------------------


(<=>
    (and
        (instance ?LD LiquidDrop)
        (approximateDiameter ?LD
            (MeasureFn ?Size Micrometer))
        (lessThan 500 ?Size))
    (instance ?LD Droplet))
Geography.kif 6901-6907
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?Particle ?PM)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Micrometer))
        (greaterThan 10 ?Size)
        (greaterThan ?Size 2.5))
    (exists (?PM10)
        (instance ?PM10 CoarseParticulateMatter)))
Geography.kif 6821-6830
(<=>
    (and
        (instance ?PM ParticulateMatter)
        (part ?Particle ?PM)
        (approximateDiameter ?Particle
            (MeasureFn ?Size Micrometer))
        (greaterThanOrEqualTo ?Size 2.5))
    (exists (?PM25)
        (instance ?PM25 FineParticulateMatter)))
Geography.kif 6848-6856
(<=>
    (and
        (instance ?UNIT UnitOfMeasure)
        (equal ?AMOUNT
            (MeasureFn 1
                (SquareUnitFn ?UNIT))))
    (equal ?AMOUNT
        (MultiplicationFn
            (MeasureFn 1 ?UNIT)
            (MeasureFn 1 ?UNIT))))
Geography.kif 3748-3752
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3556-3558
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 135 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southeast))
Geography.kif 3580-3582
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3564-3566
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 225 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Southwest))
Geography.kif 3584-3586
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 270 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 West))
Geography.kif 3568-3570
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 315 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northwest))
Geography.kif 3588-3590
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 360 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 North))
Geography.kif 3572-3574
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 45 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 Northeast))
Geography.kif 3576-3578
(<=>
    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 90 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 East))
Geography.kif 3560-3562
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 10939-10945
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
DimensioningAmenities.kif 21-26
(<=>
    (measure ?SOLUTION
        (MeasureFn ?PH PHValue))
    (potentialOfHydrogen ?SOLUTION ?PH))
Geography.kif 2477-2480
(=>
    (and
        (approximateDiameter ?O ?L)
        (sphereRadius ?S
            (DivisionFn ?L 2))
        (measure ?S
            (MeasureFn ?V1 ?VM))
        (measure ?O
            (MeasureFn ?V2 ?VM))
        (instance ?VM VolumeMeasure))
    (equal ?V1 ?V2))
Geography.kif 6428-6435
(=>
    (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
(=>
    (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
(=>
    (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 13693-13706
(=>
    (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
(=>
    (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
(=>
    (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))
DimensioningAmenities.kif 213-222

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
(<=>
    (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
(<=>
    (attribute ?WATER OpenSea)
    (forall (?LAND)
        (and
            (instance ?AREA SaltWaterArea)
            (not
                (instance ?WATER LandlockedWater))
            (distance ?LAND ?WATER ?DIST)
            (greaterThan ?DIST
                (MeasureFn 5 NauticalMile)))))
Geography.kif 4409-4416
(<=>
    (compressionRatio ?E ?R)
    (and
        (minCylinderVolume ?E
            (MeasureFn ?MIN ?M))
        (maxCylinderVolume ?E
            (MeasureFn ?MAX ?M))
        (equal ?R
            (DivisionFn ?MIN ?MAX))))
Cars.kif 1958-1963
(<=>
    (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
(<=>
    (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
(<=>
    (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
(<=>
    (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
(<=>
    (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 7914-7922
(<=>
    (measure ?O
        (MeasureFn ?A MetricTon))
    (measure ?O
        (MeasureFn
            (MultiplicationFn ?A 2205) PoundMass)))
Mid-level-ontology.kif 10939-10945
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG AngularDegree))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcMinute)))
Geography.kif 378-380
(<=>
    (measure ?OBJ
        (MeasureFn ?DEG ArcMinute))
    (measure ?OBJ
        (MeasureFn
            (MultiplicationFn 60 ?DEG) ArcSecond)))
Geography.kif 397-399
(<=>
    (measure ?OBJECT
        (MeasureFn ?NUMBER OunceMass))
    (measure ?OBJECT
        (MeasureFn
            (DivisionFn ?NUMBER 16) PoundMass)))
DimensioningAmenities.kif 21-26
(=>
    (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
(=>
    (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 15980-15988
(=>
    (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 15994-16005
(=>
    (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 16011-16022
(=>
    (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 16028-16039
(=>
    (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
(=>
    (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
(=>
    (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))
DimensioningAmenities.kif 213-222
(=>
    (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))
DimensioningAmenities.kif 223-234
(=>
    (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))
DimensioningAmenities.kif 242-251
(=>
    (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))
DimensioningAmenities.kif 253-262
(=>
    (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))
DimensioningAmenities.kif 184-193

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 27070-27070
(boilingPoint Aluminum
    (MeasureFn 2740 KelvinDegree))
Mid-level-ontology.kif 26918-26918
(boilingPoint Americium
    (MeasureFn 2880 KelvinDegree))
Mid-level-ontology.kif 27082-27082
(boilingPoint Antimony
    (MeasureFn 2023 KelvinDegree))
Mid-level-ontology.kif 26994-26994
(boilingPoint Argon
    (MeasureFn 87.29 KelvinDegree))
Mid-level-ontology.kif 26928-26928
(boilingPoint Arsenic
    (MeasureFn 886 KelvinDegree))
Mid-level-ontology.kif 26958-26958
(boilingPoint Astatine
    (MeasureFn 610 KelvinDegree))
Mid-level-ontology.kif 27062-27062
(boilingPoint Barium
    (MeasureFn 1913 KelvinDegree))
Mid-level-ontology.kif 27004-27004
(boilingPoint Beryllium
    (MeasureFn 3243 KelvinDegree))
Mid-level-ontology.kif 26900-26900
(boilingPoint Bismuth
    (MeasureFn 1833 KelvinDegree))
Mid-level-ontology.kif 27058-27058
(boilingPoint Boron
    (MeasureFn 2823 KelvinDegree))
Mid-level-ontology.kif 26902-26902
(boilingPoint Bromine
    (MeasureFn 331.93 KelvinDegree))
Mid-level-ontology.kif 26962-26962
(boilingPoint Cadmium
    (MeasureFn 1038 KelvinDegree))
Mid-level-ontology.kif 26988-26988
(boilingPoint Caesium
    (MeasureFn 963 KelvinDegree))
Mid-level-ontology.kif 27002-27002
(boilingPoint Calcium
    (MeasureFn 1760 KelvinDegree))
Mid-level-ontology.kif 26932-26932
(boilingPoint Carbon
    (MeasureFn 5100 KelvinDegree))
Mid-level-ontology.kif 26904-26904
(boilingPoint Cerium
    (MeasureFn 3530 KelvinDegree))
Mid-level-ontology.kif 27008-27008
(boilingPoint Chlorine
    (MeasureFn 238.55 KelvinDegree))
Mid-level-ontology.kif 26926-26926
(boilingPoint Chromium
    (MeasureFn 2755 KelvinDegree))
Mid-level-ontology.kif 26940-26940
(boilingPoint Cobalt
    (MeasureFn 3143 KelvinDegree))
Mid-level-ontology.kif 26946-26946
(boilingPoint Copper
    (MeasureFn 2868 KelvinDegree))
Mid-level-ontology.kif 26950-26950
(boilingPoint Dysprosium
    (MeasureFn 2608 KelvinDegree))
Mid-level-ontology.kif 27024-27024
(boilingPoint Erbium
    (MeasureFn 2783 KelvinDegree))
Mid-level-ontology.kif 27028-27028
(boilingPoint Europium
    (MeasureFn 1870 KelvinDegree))
Mid-level-ontology.kif 27018-27018
(boilingPoint Fluorine
    (MeasureFn 85.01 KelvinDegree))
Mid-level-ontology.kif 26910-26910

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)

Show without tree


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