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 31128-31130
(domain circumfrence 1 Circle)	Mid-level-ontology.kif 31132-31132	Le nombre 1 argument de circumfrence est une instance de Circle
(domain circumfrence 2 LengthMeasure)	Mid-level-ontology.kif 31134-31134	Le nombre 2 argument de circumfrence est une instance de mesure de longueur
(instance circumfrence BinaryPredicate)	Mid-level-ontology.kif 31126-31126	circumfrence est une instance de pr�dicat binaire

appearance as argument number 2

(termFormat EnglishLanguage circumfrence "circumfrence")

Mid-level-ontology.kif 31136-31136

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 31138-31146

circumfrence Circle and mesure de longueur
nombre r�el unit� de mesure le diam�tre de Circle est nombre r�el unit� de mesure(s) nombre r�el + 3.14 unit� de mesure(s) est mesure de longueur

consequent

(=> (and (memberMeasure ?S ?M ?Q) (instance ?S Set) (element ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31112-31117	memberMeasure ensemble, MeasurementAttribute and mesure de longueur ensemble est une instance de ensemble Circle est un ensemble circumfrence Circle and mesure de longueur
(=> (and (memberMeasure ?S Circumfrence ?Q) (instance ?S Class) (instance ?O ?S)) (circumfrence ?O ?Q))	Mid-level-ontology.kif 31119-31124	memberMeasure classe, Circumfrence and mesure de longueur classe est une instance de classe Circle est une instance de classe circumfrence Circle and mesure de longueur

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

KB Term:			Term intersection

English Word: