TreeView Knowledge Base Browser

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 31045-31047
(domain circumfrence 1 Circle)	Mid-level-ontology.kif 31049-31049	The number 1 argument of circumfrence is an instance of circle
(domain circumfrence 2 LengthMeasure)	Mid-level-ontology.kif 31051-31051	The number 2 argument of circumfrence is an instance of length measure
(instance circumfrence BinaryPredicate)	Mid-level-ontology.kif 31043-31043	circumfrence is an instance of binary predicate

appearance as argument number 2

(termFormat EnglishLanguage circumfrence "circumfrence")

Mid-level-ontology.kif 31053-31053

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 31055-31063

If circumfrence a circle and a length measure,
then there exist a real number and an unit of measure such that the diameter of the circle is the real number the unit of measure(s) and the real number and 3.14 the unit of measure(s) is equal to the length measure

consequent

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31029-31034	If members of a set have the measure a length measure in terms of a measurement attribute and the set is an instance of set and a circle is an element of the set, then circumfrence the circle and the length measure
(=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31036-31041	If members of a class have the measure a length measure in terms of Circumfrence and the class is an instance of class and a circle is an instance of the class, then circumfrence the circle and the length measure

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

KB Term:			Term intersection

English Word: