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 4752-4754
(domain tangent 1 OneDimensionalFigure) Mid-level-ontology.kif 4750-4750 tangent の数値 1 引数は OneDimensionalFigureinstance では %n
(domain tangent 2 TwoDimensionalObject) Mid-level-ontology.kif 4751-4751 tangent の数値 2 引数は TwoDimensionalObjectinstance では %n
(externalImage tangent "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Tangent_to_a_curve.svg") pictureList.kif 971-971
(instance tangent BinaryPredicate) Mid-level-ontology.kif 4749-4749 tangent2進述語instance では %n

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 FrenchLanguage tangent "la tangente de %2 est %n %1") french_format.kif 477-477
(format JapaneseLanguage tangent "%2 の tangent は %1 では %n") english_format.kif 797-797
(format PortugueseLanguage tangent "a tangente de %2 e' %n %1") portuguese_format.kif 429-429
(format ro tangent "tangent%t{tangenta} lui %2 %n{nu} este %1") relations-ro.kif 499-499
(termFormat ChineseLanguage tangent "切线") chinese_format.kif 793-793
(termFormat ChineseTraditionalLanguage tangent "切線") domainEnglishFormat.kif 56910-56910
(termFormat EnglishLanguage tangent "tangent") domainEnglishFormat.kif 56909-56909

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 4756-4767

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


(=>
    (and
        (instance ?O Object)
        (attribute ?O ConvexRoundShape)
        (surface ?TO ?O)
        (instance ?TO TwoDimensionalObject))
    (forall (?P)
        (and
            (part ?P ?O)
            (attribute ?P GeometricPoint)
            (pointOfFigure ?P ?O)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))
Mid-level-ontology.kif 4791-4805


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