Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  approximateValue

Sigma KEE - approximateValue
approximateValue

appearance as argument number 1
-------------------------


(documentation approximateValue EnglishLanguage "A relation that specifies two numbers are equal or nearly so.") Mid-level-ontology.kif 28014-28015
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 28011-28011
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 28012-28012
(instance approximateValue BinaryPredicate) Mid-level-ontology.kif 28010-28010

appearance as argument number 2
-------------------------


(format EnglishLanguage approximateValue "the approximate value of %1 is %n %2") Mid-level-ontology.kif 28013-28013

antecedent
-------------------------


(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (equal ?N1 ?N2) Likely))
Mid-level-ontology.kif 28017-28021
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N1 ?N2)) Unlikely))
Mid-level-ontology.kif 28023-28029
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N2 ?N1)) Unlikely))
Mid-level-ontology.kif 28031-28037

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 Volt ?N1)))
    (approximateValue ?N1 12))
Cars.kif 3126-3136


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners