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

Formal Language: 



KB Term:  Term intersection
English Word: 

  tangent

Sigma KEE - tangent
tangent

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


(documentation tangent EnglishLanguage "(tangent ?LINE ?CIRCLE) means that the straight line ?LINE is tangent to the figure ?CIRCLE, i.e. ?LINE touches ?CIRCLE without intersecting it.") Mid-level-ontology.kif 4497-4499
(domain tangent 1 OneDimensionalFigure) Mid-level-ontology.kif 4495-4495 The number 1 argument of tangent is an instance of one dimensional figure
(domain tangent 2 TwoDimensionalObject) Mid-level-ontology.kif 4496-4496 The number 2 argument of tangent is an instance of two dimensional object
(externalImage tangent "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Tangent_to_a_curve.svg") pictureList.kif 972-972
(instance tangent BinaryPredicate) Mid-level-ontology.kif 4494-4494 tangent is an instance of binary predicate

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


(format ChineseLanguage tangent " %2 的 tangent %n 是 %1") chinese_format.kif 792-792
(format EnglishLanguage tangent "a tangent of %2 is %n %1") english_format.kif 799-799
(format JapaneseLanguage tangent "%2 の tangent は %1 では %n") english_format.kif 800-800
(termFormat ChineseLanguage tangent "切线") chinese_format.kif 793-793
(termFormat ChineseTraditionalLanguage tangent "切線") domainEnglishFormat.kif 56877-56877
(termFormat EnglishLanguage tangent "tangent") domainEnglishFormat.kif 56876-56876

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


(=>
    (tangent ?LINE ?CIRCLE)
    (exists (?POINT1)
        (and
            (pointOfFigure ?POINT1 ?LINE)
            (pointOfFigure ?POINT1 ?CIRCLE)
            (forall (?POINT2)
                (=>
                    (and
                        (pointOfFigure ?POINT2 ?LINE)
                        (pointOfFigure ?POINT2 ?CIRCLE))
                    (equal ?POINT1 ?POINT2))))))
Mid-level-ontology.kif 4501-4512

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


(=>
    (attribute ?O RoundShape)
    (forall (?P)
        (and
            (pointOfFigure ?P ?O)
            (instance ?TO TwoDimensionalObject)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))
Mid-level-ontology.kif 4534-4543


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

Show without tree


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