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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 27988-27989
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 27985-27985
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 27986-27986
(instance approximateValue BinaryPredicate) Mid-level-ontology.kif 27984-27984

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


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

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


(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (equal ?N1 ?N2) Likely))
Mid-level-ontology.kif 27991-27995
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N1 ?N2)) Unlikely))
Mid-level-ontology.kif 27997-28003
(=>
    (approximateValue ?N1 ?N2)
    (modalAttribute
        (greaterThan 0.9
            (DivisionFn ?N2 ?N1)) Unlikely))
Mid-level-ontology.kif 28005-28011

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 3169-3179


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



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