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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - circumfrence
circumfrence

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


(documentation circumfrence EnglishLanguage "(circumfrence ?CIRCLE ?LENGTH) means that the circumfrence of the Circle ?CIRCLE has a circumfrence of ?LENGTH.") Mid-level-ontology.kif 30528-30530
(domain circumfrence 1 Circle) Mid-level-ontology.kif 30532-30532 domain circumfrence, 1 and Circle
(domain circumfrence 2 LengthMeasure) Mid-level-ontology.kif 30534-30534 domain circumfrence, 2 and LengthMeasure
(instance circumfrence BinaryPredicate) Mid-level-ontology.kif 30526-30526 instance circumfrence and BinaryPredicate

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


(termFormat EnglishLanguage circumfrence "circumfrence") Mid-level-ontology.kif 30536-30536

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


(=>
    (circumfrence ?CIRCLE ?LENGTH)
    (exists (?D ?UNIT)
        (and
            (diameter ?CIRCLE
                (MeasureFn ?D ?UNIT))
            (equal
                (MeasureFn
                    (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH))))
Mid-level-ontology.kif 30538-30546

consequent
-------------------------


(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (member ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 30512-30517
(=>
    (and
        (memberMeasure ?S Circumfrence ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumfrence ?O ?Q))
Mid-level-ontology.kif 30519-30524


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