| 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 5281-5283 | |
| (domain tangent 1 TangentLine) | Mid-level-ontology.kif 5279-5279 | |
| (domain tangent 2 Oval) | Mid-level-ontology.kif 5280-5280 | |
| (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 5278-5278 |
| 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 56931-56931 | |
| (termFormat EnglishLanguage tangent "tangent") | domainEnglishFormat.kif 56930-56930 |
| 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 5285-5298 |
| consequent |
|
|
| (=> (equal ?L TangentLine) (exists (?C) (and (instance ?C Oval) (tangent ?L ?C)))) |
Mid-level-ontology.kif 5271-5276 |
|
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