| 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 | Il numero 1 argomenti di tangent è un istanza di OneDimensionalFigure |
| (domain tangent 2 TwoDimensionalObject) | Mid-level-ontology.kif 4774-4774 | Il numero 2 argomenti di tangent è un istanza di TwoDimensionalObject |
| (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 è un' istanza di PredicatoBinario |
| 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 |
| 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 |
|
|
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