approximateValue |
appearance as argument number 1 |
![]() |
(documentation approximateValue EnglishLanguage "A relation that specifies two numbers are equal or nearly so.") | Mid-level-ontology.kif 29342-29343 | |
(domain approximateValue 1 RealNumber) | Mid-level-ontology.kif 29339-29339 | |
(domain approximateValue 2 RealNumber) | Mid-level-ontology.kif 29340-29340 | |
(instance approximateValue BinaryPredicate) | Mid-level-ontology.kif 29338-29338 |
appearance as argument number 2 |
![]() |
(format EnglishLanguage approximateValue "the approximate value of %1 is %n %2") | Mid-level-ontology.kif 29341-29341 |
antecedent |
![]() |
(=> (approximateValue ?N1 ?N2) (modalAttribute (equal ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 29345-29349 | |
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N1 ?N2)) Unlikely)) |
Mid-level-ontology.kif 29351-29357 | |
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N2 ?N1)) Unlikely)) |
Mid-level-ontology.kif 29359-29365 |
consequent |
![]() |
(=> (and (instance ?IC IgnitionCoil) (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC) (measure ?E1 (MeasureFn ?N1 Volt))) (approximateValue ?N1 12)) |
Cars.kif 3155-3165 |
![]() |
![]() |