Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - circumference
circumference

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


(instance circumference BinaryPredicate) Mid-level-ontology.kif 33724-33724 circumference is an instance of binary predicate
(documentation circumference EnglishLanguage "(circumference ?CIRCLE ?LENGTH) means that the circumference of the Circle ?CIRCLE has a circumference of ?LENGTH.") Mid-level-ontology.kif 33732-33734 circumference is an instance of binary predicate
(domain circumference 1 Circle) Mid-level-ontology.kif 33736-33736 The number 1 argument of circumference is an instance of circle
(domain circumference 2 LengthMeasure) Mid-level-ontology.kif 33738-33738 The number 2 argument of circumference is an instance of length measure

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


(relatedInternalConcept arcLength circumference) Mid-level-ontology.kif 5837-5837 arc length is internally related to circumference
(termFormat EnglishLanguage circumference "circumference") Mid-level-ontology.kif 33740-33740 arc length is internally related to circumference

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


(=>
    (circumference ?CIRCLE ?LENGTH)
    (exists (?D ?UNIT)
        (and
            (diameter ?CIRCLE
                (MeasureFn ?D ?UNIT))
            (equal
                (MeasureFn
                    (MultiplicationFn ?D 3.14) ?UNIT) ?LENGTH))))		 Mid-level-ontology.kif 33742-33750 If circumference X and Y, then there exist Z and W such that the diameter of X is Z W(s) and equal Z and 3.14 W(s) and Y
(=>
    (circumference ?C ?L)
    (equal ?C Circle))		 Mid-level-ontology.kif 33752-33754 If circumference X and Y, then equal X and circle

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


(=>
    (and
        (arcLength ?SEMI
            (MeasureFn ?L ?U))
        (equal ?SEMI SemicircularArc))
    (exists (?CIR ?C)
        (and
            (equal ?CIR Circle)
            (geometricPart ?SEMI ?CIR)
            (circumference ?CIR
                (MeasureFn ?C ?U))
            (equal ?C
                (AdditionFn ?L ?L)))))		 Mid-level-ontology.kif 5857-5867 If X Y(s) is the LengthMeasure of Z and equal Z and semicircular arc, then there exist W and V such that equal W and circle and W is a geometric part of Z and circumference W and V Y(s) and equal V and (X and X)
(=>
    (and
        (memberMeasure ?S ?M ?Q)
        (instance ?S Set)
        (element ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33710-33715 If members of X have the measure Y in terms of Z, X is an instance of set, and W is an element of X, then circumference W and Y
(=>
    (and
        (memberMeasure ?S Circumference ?Q)
        (instance ?S Class)
        (instance ?O ?S))
    (circumference ?O ?Q))		 Mid-level-ontology.kif 33717-33722 If members of X have the measure Y in terms of Circumference, X is an instance of class, and Z is an instance of X, then circumference Z and Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners