approximateValue |
appearance as argument number 1 |
![]() |
(documentation approximateValue EnglishLanguage "A relation that specifies two numbers are equal or nearly so.") | Mid-level-ontology.kif 31730-31731 | |
(domain approximateValue 1 RealNumber) | Mid-level-ontology.kif 31727-31727 | The number 1 argument of approximate value is an instance of real number |
(domain approximateValue 2 RealNumber) | Mid-level-ontology.kif 31728-31728 | The number 2 argument of approximate value is an instance of real number |
(instance approximateValue BinaryPredicate) | Mid-level-ontology.kif 31726-31726 | approximate value is an instance of binary predicate |
appearance as argument number 2 |
![]() |
(format EnglishLanguage approximateValue "the approximate value of %1 is %n %2") | Mid-level-ontology.kif 31729-31729 | |
(termFormat EnglishLanguage approximateValue "approximate value") | domainEnglishFormat.kif 65773-65773 |
antecedent |
![]() |
(=> (approximateValue ?N1 ?N2) (modalAttribute (equal ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 31733-31737 |
|
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N1 ?N2)) Unlikely)) |
Mid-level-ontology.kif 31739-31745 |
|
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N2 ?N1)) Unlikely)) |
Mid-level-ontology.kif 31747-31753 |
|
consequent |
![]() |
![]() |
![]() |