TreeView Knowledge Base Browser

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 4775-4777
(domain tangent 1 OneDimensionalFigure)	Mid-level-ontology.kif 4773-4773	The number 1 argument of tangent is an instance of one dimensional figure
(domain tangent 2 TwoDimensionalObject)	Mid-level-ontology.kif 4774-4774	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 971-971
(instance tangent BinaryPredicate)	Mid-level-ontology.kif 4772-4772	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 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 56900-56900
(termFormat EnglishLanguage tangent "tangent")	domainEnglishFormat.kif 56899-56899

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 4779-4790

If a tangent of a two dimensional object is an one dimensional figure,
then there exists a geometric point such that the geometric point is a vertex of the one dimensional figure and the geometric point is a vertex of the two dimensional object and for all another geometric point
- if the other geometric point is a vertex of the one dimensional figure and the other geometric point is a vertex of the two dimensional object,
- then the geometric point is equal to the other geometric point

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 4814-4828

If a self connected object is an instance of object and convex round shape is an attribute of the self connected object and another self connected object is a surface of the self connected object and the other self connected object is an instance of two dimensional object,
then for all a geometric point the geometric point is a part of the self connected object and geometric point is an attribute of the geometric point and the geometric point is a vertex of the self connected object and the geometric point meets the self connected object and the geometric point meets the other self connected object and there exists an one dimensional figure such that a tangent of the other self connected object is the one dimensional figure

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

KB Term:			Term intersection

English Word: