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 29198-29199
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 29195-29195
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 29196-29196
(instance approximateValue BinaryPredicate) Mid-level-ontology.kif 29194-29194

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


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

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


(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (equal ?N1 ?N2) Likely))
Mid-level-ontology.kif 29201-29205
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N1 ?N2)) Unlikely))
Mid-level-ontology.kif 29207-29213
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N2 ?N1)) Unlikely))
Mid-level-ontology.kif 29215-29221

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 3155-3165


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 3.0 is open source software produced by Articulate Software and its partners