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 4780-4782
(domain tangent 1 OneDimensionalFigure)	Mid-level-ontology.kif 4778-4778	切线的 1 数量是一维图的 instance
(domain tangent 2 TwoDimensionalObject)	Mid-level-ontology.kif 4779-4779	切线的 2 数量是二维物体的 instance
(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 4777-4777	切线是二元谓语的 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 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 56898-56898
(termFormat EnglishLanguage tangent "tangent")	domainEnglishFormat.kif 56897-56897

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 4784-4795

如果二维物体的 tangent 是一维图，
然后有存在几何点这样那个几何点是那个一维图的顶点和那个几何点是那个二维物体的顶点和对所有另一个几何点
- 如果那个另外几何点是那个一维图的顶点和那个另外几何点是那个二维物体的顶点，
- 然后那个几何点 equal 那个另外几何点

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 4819-4833

如果自身连接物体是客体的 instance 和中凸的圆形是那个自身连接物体的 attribute 和另一个自身连接物体是那个自身连接物体的 surface 和那个另外自身连接物体是二维物体的 instance，
然后对所有几何点那个几何点是那个自身连接物体的 part 和几何点是那个几何点的 attribute 和那个几何点是那个自身连接物体的顶点和那个几何点接上那个自身连接物体和那个几何点接上那个另外自身连接物体和有存在一维图这样那个另外自身连接物体的 tangent 是那个一维图

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

KB Term:			Term intersection

English Word: