tangent - Sigma Knowledge base Browser

appearance as argument number 1

(documentation tangent EnglishLanguage "(tangent ?LINE ?CIRCLE) means that the straight line ?LINE is tangent to the curve of figure ?CIRCLE, i.e. ?LINE touches ?CIRCLE without intersecting it.")	Mid-level-ontology.kif 4794-4796
(domain tangent 1 TangentLine)	Mid-level-ontology.kif 4792-4792	The number 1 argument of tangent is an instance of tangent line
(domain tangent 2 Oval)	Mid-level-ontology.kif 4793-4793	The number 2 argument of tangent is an instance of oval
(externalImage tangent "http://upload.wikimedia.org/wikipedia/commons/0/ 0f/ Tangent_to_a_curve.svg")	pictureList.kif 971-971	The number 2 argument of tangent is an instance of oval
(instance tangent BinaryPredicate)	Mid-level-ontology.kif 4791-4791	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 56928-56928
(termFormat EnglishLanguage tangent "tangent")	domainEnglishFormat.kif 56927-56927

antecedent

(=>
    (and
        (tangent ?LINE ?CIRCLE)
        (sideOfFigure ?CURVE ?CIRCLE))
    (exists (?POINT1)
        (and
            (pointOfFigure ?POINT1 ?LINE)
            (pointOfFigure ?POINT1 ?CURVE)
            (forall (?POINT2)
                (=>
                    (and
                        (pointOfFigure ?POINT2 ?LINE)
                        (pointOfFigure ?POINT2 ?CURVE))
                    (equal ?POINT1 ?POINT2))))))

Mid-level-ontology.kif 4798-4811

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

consequent

(=>
    (equal ?L TangentLine)
    (exists (?C)
        (and
            (instance ?C Oval)
            (tangent ?L ?C))))

Mid-level-ontology.kif 4784-4789

If a tangent line is equal to tangent line,
then there exists an entity such that the entity is an instance of oval and a tangent of the entity is the tangent line

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

KB Term:			Term intersection

English Word: