approximateValue |
appearance as argument number 1 |
(documentation approximateValue EnglishLanguage "A relation that specifies two numbers are equal or nearly so.") | Mid-level-ontology.kif 29838-29839 | |
(domain approximateValue 1 RealNumber) | Mid-level-ontology.kif 29835-29835 | approximateValue の数値 1 引数は 実数 の instance では %n |
(domain approximateValue 2 RealNumber) | Mid-level-ontology.kif 29836-29836 | approximateValue の数値 2 引数は 実数 の instance では %n |
(instance approximateValue BinaryPredicate) | Mid-level-ontology.kif 29834-29834 | approximateValue は 2進述語 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage approximateValue "the approximate value of %1 is %n %2") | Mid-level-ontology.kif 29837-29837 | |
(termFormat EnglishLanguage approximateValue "approximate value") | domainEnglishFormat.kif 65779-65779 |
antecedent |
(=> (approximateValue ?N1 ?N2) (modalAttribute (equal ?N1 ?N2) Likely)) |
Mid-level-ontology.kif 29841-29845 | |
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N1 ?N2)) Unlikely)) |
Mid-level-ontology.kif 29847-29853 | |
(=> (approximateValue ?N1 ?N2) (modalAttribute (greaterThan 0.9 (DivisionFn ?N2 ?N1)) Unlikely)) |
Mid-level-ontology.kif 29855-29861 |
consequent |