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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4518-4520
(domain tangent 1 OneDimensionalFigure) Mid-level-ontology.kif 4516-4516 切线 的 1 数量 是 一维图instance
(domain tangent 2 TwoDimensionalObject) Mid-level-ontology.kif 4517-4517 切线 的 2 数量 是 二维物体instance
(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 4515-4515 切线二元谓语instance

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 796-796
(format JapaneseLanguage tangent "%2 の tangent は %1 では %n") english_format.kif 797-797
(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 4522-4533

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 4555-4564


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