(=>
(attribute ?F LongAndThin)
(exists (?S1 ?S2 ?HF ?H1 ?H2 ?U)
(and
(side ?S1 ?F)
(side ?S2 ?F)
(meetsSpatially ?S1 ?S2)
(not
(equal ?S1 ?S2))
(instance ?U UnitOfLength)
(length ?F
(MeasureFn ?HF ?U))
(length ?S1
(MeasureFn ?H1 ?U))
(length ?S2
(MeasureFn ?H2 ?U))
(lessThan ?H1
(MultiplicationFn 3.0 ?HF))
(lessThan ?H2
(MultiplicationFn 3.0 ?HF))))) |
Mid-level-ontology.kif 2803-2816 |
- If long and thin is an attribute of a self connected object,
- then there exist another self connected object, a third self connected object,, , a real number,, , another real number,, , a third real number and an unit of measure such that a side of the self connected object is the other self connected object and a side of the self connected object is the third self connected object and the other self connected object meets the third self connected object and the other self connected object is not equal to the third self connected object and the unit of measure is an instance of unit of length and the length of the self connected object is the real number the unit of measure(s) and the length of the other self connected object is the other real number the unit of measure(s) and the length of the third self connected object is the third real number the unit of measure(s) and the other real number is less than 3.0 and the real number and the third real number is less than 3.0 and the real number
|
(=>
(circumfrence ?CIRCLE ?LENGTH)
(exists (?D ?UNIT)
(and
(diameter ?CIRCLE
(MeasureFn ?D ?UNIT))
(equal
(MeasureFn
(MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH)))) |
Mid-level-ontology.kif 31138-31146 |
|
(=>
(diameter ?CIRCLE ?LENGTH)
(exists (?NHALF ?UHALF)
(and
(radius ?CIRCLE
(MeasureFn ?NHALF ?UHALF))
(equal
(MeasureFn
(MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7669-7674 |
|
(=>
(equal
(DiameterFn ?C)
(MeasureFn ?L ?U))
(exists (?R)
(and
(equal
(RadiusFn ?C)
(MeasureFn ?R ?U))
(equal
(MultiplicationFn ?R 2.0) ?L)))) |
Mid-level-ontology.kif 4952-4957 |
|
(=>
(equal
(SquareRootFn ?NUMBER1) ?NUMBER2)
(equal
(MultiplicationFn ?NUMBER2 ?NUMBER2) ?NUMBER1)) |
Merge.kif 5225-5227 |
|
(=>
(equal ?AMOUNT
(MeasureFn ?NUM NauticalMile))
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3877-3883 |
|
(=>
(equal ?AMOUNT
(MeasureFn ?NUM NauticalMile))
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn ?NUM 1.852)
(KiloFn Meter)))) |
Geography.kif 3869-3875 |
|
(=>
(equal ?AMOUNT
(MeasureFn ?X Joule))
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn 0.0002778 ?X) Watt))) |
Economy.kif 2016-2018 |
|
(=>
(equal ?AMOUNT
(MeasureFn ?X KilowattHour))
(equal ?AMOUNT
(MeasureFn
(MultiplicationFn 3600000.0 ?X) Joule))) |
Economy.kif 2011-2013 |
|
(=>
(equal ?N
(MultiplicationFn 1 ?N))
(equal
(MeasureFn ?N MillenniumDuration)
(MeasureFn
(MultiplicationFn ?N 1000) YearDuration))) |
Mid-level-ontology.kif 13683-13687 |
|
(=>
(equal ?NUM
(MultiplicationFn 1.0 ?NUM))
(equal
(MeasureFn ?NUM NauticalMile)
(MeasureFn
(MultiplicationFn ?NUM 1.151) Mile))) |
Geography.kif 3912-3919 |
|
(=>
(equal ?NUM
(MultiplicationFn 1.0 ?NUM))
(equal
(MeasureFn ?NUM NauticalMile)
(MeasureFn
(MultiplicationFn ?NUM 1.852)
(KiloFn Meter)))) |
Geography.kif 3894-3901 |
|
(=>
(equal ?NUM
(MultiplicationFn 1.0 ?NUM))
(equal
(MeasureFn ?NUM NauticalMile)
(MeasureFn
(MultiplicationFn ?NUM 1852.0) Meter))) |
Geography.kif 3885-3892 |
|
(=>
(equal ?NUM
(MultiplicationFn 1.0 ?NUM))
(equal
(MeasureFn ?NUM NauticalMile)
(MeasureFn
(MultiplicationFn ?NUM 6076.1) FootLength))) |
Geography.kif 3903-3910 |
|
(=>
(equal ?NUM
(MultiplicationFn 1.0 ?NUM))
(equal
(MeasureFn ?NUM SquareKilometer)
(MeasureFn
(MultiplicationFn ?NUM 1000000.0) SquareMeter))) |
Geography.kif 625-631 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1 ?NUMBER))
(equal
(MeasureFn ?NUMBER CenturyDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 100) YearDuration))) |
Mid-level-ontology.kif 19064-19068 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1 ?NUMBER))
(equal
(MeasureFn ?NUMBER DecadeDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 10) YearDuration))) |
Merge.kif 8759-8763 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1.0 ?NUMBER))
(equal
(MeasureFn ?NUMBER Fathom)
(MeasureFn
(MultiplicationFn ?NUMBER 6.0) FootLength))) |
Geography.kif 3844-3848 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1.0 ?NUMBER))
(equal
(MeasureFn ?NUMBER LongTon)
(MeasureFn
(MultiplicationFn ?NUMBER 2240.0) PoundMass))) |
Mid-level-ontology.kif 13618-13622 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1.0 ?NUMBER))
(equal
(MeasureFn ?NUMBER Nanometer)
(MeasureFn
(MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 19083-19089 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1.0 ?NUMBER))
(equal
(MeasureFn ?NUMBER RegistryTon)
(MeasureFn
(MultiplicationFn ?NUMBER 100.0) CubicFoot))) |
Mid-level-ontology.kif 13668-13672 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1.0 ?NUMBER))
(equal
(MeasureFn ?NUMBER TonMass)
(MeasureFn
(MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 13591-13595 |
|
(=>
(equal ?NUMBER
(MultiplicationFn 1.0 ?NUMBER))
(equal
(MeasureFn ?NUMBER YardLength)
(MeasureFn
(MultiplicationFn 3.0 ?NUMBER) FootLength))) |
Mid-level-ontology.kif 19073-19077 |
|
(=>
(instance ?L Lungo)
(exists (?E ?V)
(and
(instance ?E Espresso)
(part ?E ?L)
(measure ?E
(MeasureFn ?V Liter))
(instance ?V RealNumber)
(measure ?L
(MeasureFn
(MultiplicationFn ?V 2) Liter))))) |
Food.kif 770-781 |
|
(=>
(instance ?N RealNumber)
(equal
(MeasureFn ?N Horsepower)
(MeasureFn
(MultiplicationFn ?N 746) Watt))) |
Merge.kif 6902-6906 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |