|
| (=> (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 | |
| (=> (circumfrence ?CIRCLE ?LENGTH) (exists (?D ?UNIT) (and (diameter ?CIRCLE (MeasureFn ?D ?UNIT)) (equal (MeasureFn (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH)))) |
Mid-level-ontology.kif 31131-31139 | |
| (=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7687-7692 | |
| (=> (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 4941-4946 | |
| (=> (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 13682-13686 | |
| (=> (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 19063-19067 | |
| (=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER DecadeDuration) (MeasureFn (MultiplicationFn ?NUMBER 10) YearDuration))) |
Merge.kif 8781-8785 | |
| (=> (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 13617-13621 | |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER Nanometer) (MeasureFn (MultiplicationFn ?NUMBER 0.000000001) Meter))) |
Mid-level-ontology.kif 19082-19088 | |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER RegistryTon) (MeasureFn (MultiplicationFn ?NUMBER 100.0) CubicFoot))) |
Mid-level-ontology.kif 13667-13671 | |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER TonMass) (MeasureFn (MultiplicationFn ?NUMBER 2205.0) PoundMass))) |
Mid-level-ontology.kif 13590-13594 | |
| (=> (equal ?NUMBER (MultiplicationFn 1.0 ?NUMBER)) (equal (MeasureFn ?NUMBER YardLength) (MeasureFn (MultiplicationFn 3.0 ?NUMBER) FootLength))) |
Mid-level-ontology.kif 19072-19076 | |
| (=> (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 |
|
|
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