Create a gist now

Instantly share code, notes, and snippets.

@fabiovalse /README.md
Last active Mar 21, 2016

Download ZIP
Clavius Lexicon
Raw
README.md

This visualization shows a list of lexical entries of the Clavius Mathematical Lexicon.

htaccess file has been properly congifured in order to rewrite URI and always redirect requests to the index.html. Client side using Javascript the scroll of the page is changed in order to get the requested resource.

The JSON-LD file has been translated from RDF using this on-line RDF translator.

Raw
data.json
{
"@context": {
"Ontology1378394921444": "http://www.semanticweb.org/ontologies/2013/8/Ontology1378394921444.owl#",
"owl": "http://www.w3.org/2002/07/owl#",
"rdf": "http://www.w3.org/1999/02/22-rdf-syntax-ns#",
"rdfs": "http://www.w3.org/2000/01/rdf-schema#",
"xsd": "http://www.w3.org/2001/XMLSchema#"
},
"@graph": [
{
"@id": "Ontology1378394921444:PARALLELOGRAMMUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Sphere",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Curvilinear_Figure"
}
},
{
"@id": "Ontology1378394921444:punct",
"@type": [
"Ontology1378394921444:Punct",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:punctum"
}
},
{
"@id": "Ontology1378394921444:isDerivedFrom",
"@type": "owl:ObjectProperty",
"Ontology1378394921444:definition": "<SemU1> is derived from another object <SemU2> through a certain process of alteration",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:agentive"
}
},
{
"@id": "Ontology1378394921444:isCausedby",
"@type": "owl:ObjectProperty",
"Ontology1378394921444:definition": "<SemU1> is a phenomenon or natural event which is produced by <SemU2>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:agentive"
}
},
{
"@id": "Ontology1378394921444:INCLINATIO",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "_:Nc35ef48c9e254d4482b572a7fda59994",
"xsd:minExclusive": 180
},
{
"@id": "Ontology1378394921444:perpendicular_line",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Perpendicular_Line"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:linea_perpendicularis"
}
},
{
"@id": "Ontology1378394921444:Figure",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Geometric_Entity"
}
},
{
"@id": "Ontology1378394921444:PLANUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Trapezoid",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Parallelogram"
}
},
{
"@id": "Ontology1378394921444:angulus_curvilineus",
"@type": [
"Ontology1378394921444:ANGULUS_CURVILINEUS",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Angulus omnis planus conficitur aut ex lineis duabus rectis, qui quidem rectilineus dicitur, et de quo solum hic agit Euclides : aut ex duabus curvis, quem curvilineum vocare licet; aut ex una curva et altera recta, qui non inepte mixtus appellatur. (Eucl. El 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:curvilinear_angle"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:inclinatio"
}
},
{
"@id": "Ontology1378394921444:figure",
"@type": [
"Ontology1378394921444:Figure",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:figura"
}
},
{
"@id": "_:N5a68952637c1467396d8fdd2f53bbf21",
"xsd:maxExclusive": 180
},
{
"@id": "Ontology1378394921444:Semicircle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Curvilinear_Figure"
}
},
{
"@id": "Ontology1378394921444:TRIANGULUM_OBTUSANGULUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:CENTRUM_CIRCULI",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_RECTILINEUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:hasHolonym",
"@type": "owl:ObjectProperty",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "Ontology1378394921444:parallelogram",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Parallelogram"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:parallelogrammum"
}
},
{
"@id": "Ontology1378394921444:linea_mixta",
"@type": [
"Ontology1378394921444:LINEA_MIXTA",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Quemadmodum autem matematici per fluxum puncti imaginarium concipiunt describi lineam, ita per qualiattem fluxus puncti qualitatem lineae descriptae intelligunt. Si namque punctum recta fluere concipiatur per brevissimum spatium, ita ut neque in han partem, neque in illam deflectat, sed aequabilem quendam motum, atque incessum teneat, ducetur linea illa descripta, recta : Si vero punctum fluens cogitetur in motu vacillare, atque hinc inde titubare, appellabitur linea descripta mixta (...) (Eucl. El. 23)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:mixed_line"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:fluxum"
}
},
{
"@id": "Ontology1378394921444:CONCEPT",
"@type": "owl:Class"
},
{
"@id": "Ontology1378394921444:CORPUS_PLATONICUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:angulus_perpendicularis",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_PERPENDICULARIS"
],
"Ontology1378394921444:definition": "Cum vero recta linea super rectam consistens lineam eos, qui sunt deinceps, angulos aequales inter se fecerit, rectus est uterque aequalium angulorum: Et quae insistit recta linea, perpendicularis vocatur eius, cui insistit. ",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:perpendicular_angle"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_CONVEXUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Ellipsis",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Curvilinear_Figure"
}
},
{
"@id": "Ontology1378394921444:ELLIPSIS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:angulus_convexus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_CONVEXUS"
],
"Ontology1378394921444:definition": "Angulus omnis planus conficitur aut ex lineis duabus rectis, qui quidem rectilineus dicitur, et de quo solum hic agit Euclides : aut ex duabus curvis, quem curvilineum vocare licet; aut ex una curva et altera recta, qui non inepte mixtus appellatur. Ex hisce porro lineis possunt curvilinei anguli tribus variari modis, et mixti duobus, pro varia inclinatione, seu abitudine linearum curvarum, utpote secundum convexum, concavum, ceu in propositis angulis plane, et aperte perspicitur.",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:convex_angle"
}
},
{
"@id": "Ontology1378394921444:AntonymComp",
"@type": [
"owl:SymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "<SemU2> is the complementary antonym of <SemU1>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:hasAntonym"
}
},
{
"@id": "Ontology1378394921444:planum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:PLANUM"
],
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:plane_figure"
},
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:figura_plana"
}
},
{
"@id": "Ontology1378394921444:FIGURA_CURVILINEA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:triangulum_acutangulum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:TRIANGULUM_ACUTANGULUM"
],
"Ontology1378394921444:definition": "Omne triangulum oxygonium, sive acutangulum, potest esse vel aequilaterum, vel isosceles, vel scalenum, ut cernere licet in triangulis, quae in specibus prioris divisionis spectanda exhibuimus, ne eadem hic frustra repetantur. (El. Eucl 30)\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:acutangle_triangle"
},
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:triangulum_oxygonium"
},
"owl:sameAs": {
"@id": "Ontology1378394921444:triangulum_oxygonium"
}
},
{
"@id": "Ontology1378394921444:trapezoid",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Trapezoid"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:trapezium"
}
},
{
"@id": "Ontology1378394921444:hasHyperonym",
"@type": [
"owl:ObjectProperty",
"owl:FunctionalProperty",
"owl:IrreflexiveProperty"
],
"Ontology1378394921444:definition": "<SemU2> is the hyperonym of <SemU1>. The value of this relation can be given, for example, by a EuroWordNet hyperonym or by a dictionary superordinate",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "_:N1a90067294aa4eecadc5da210df6a200",
"@type": "rdfs:Datatype",
"owl:onDatatype": {
"@id": "xsd:float"
},
"owl:withRestrictions": {
"@list": [
{
"@id": "_:N6ff44969a83f411a908d52af283577d3"
}
]
}
},
{
"@id": "Ontology1378394921444:centre_circle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Centre_Circle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:centrum_circuli"
}
},
{
"@id": "Ontology1378394921444:trapezium",
"@type": [
"Ontology1378394921444:TRAPEZIUM",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Praeter has autem, reliquae quadrilaterae figurae, trapezia appellentur. \nReliquas omnes figuras quadrilateras, quae a praedictis quatuor differunt, ita ut neque latera omnia aequalia, neque omnes angulos aequales, seu rectos, neque latera bina opposita; neque angulos binos oppositos habeant inter sese aequales, generali vocabulo Trapezia nominat. (El. Eucl. 31)\n[...] Itaque possumus quadrilateras figuras, (ut et antiqui Geometrae) dividere in Parallelogrammum, et Trapezium... Trapeziorum quoque aliud quidem habet duo latera opposita parallela, alia vero minime; aliud autem nulla opposita latera habet paralella. (El. Eucl. 32)\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:trapezoid"
}
},
{
"@id": "Ontology1378394921444:equilateral_triangle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Equilateral_Triangle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:triangulum_aequilaterum"
}
},
{
"@id": "Ontology1378394921444:hasInstrument",
"@type": [
"owl:IrreflexiveProperty",
"owl:AsymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "<SemU1> is an event SemU and <SemU2> is the typical instrument, vehicle or device which is used to perform this event. ",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:TRIANGULUM_OXYGONIUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:TRIANGULUM_AMBLYGONIUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:triangulum_scalenum",
"@type": [
"Ontology1378394921444:TRIANGULUM_SCALENUM",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Scalenum vero est, quod tria inaequalia habet latera. (29) […]\nHic denique ex inaequalitate omnium laterum trianguli Scaleni colligitur omnium angulorum inaequalitas, ut ostendetur propos. 18. Huius 1. Lib. (El. Eucl. 29)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:scalene_triangle"
}
},
{
"@id": "Ontology1378394921444:Conceptual_relations",
"@type": "owl:ObjectProperty",
"rdfs:subPropertyOf": {
"@id": "owl:topObjectProperty"
}
},
{
"@id": "Ontology1378394921444:parallelogrammum",
"@type": [
"Ontology1378394921444:PARALLELOGRAMMUM",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Parallelogrammum est figura quadrilatera, cuius bina opposita latera sunt paralella, seu aequidistantia. […] Sunt autem quatuor solum parallelogramma; quadratum, figura altera parte longior, Rhombus, et Rhomboides, quorum priora duo rectangula, quod omnes angulos habeant rectos, posteriora vero duo non rectangula vocantur, quod nullus in eis angulus esista rectus. […] Itaque possumus quadrilateras figuras, (ut et antiqui Geometrae) dividere in Parallelogrammum, et Trapezium. Parallelogrammum cursus in rectangulum, at aequilaterum, quale est Quadratum : in nec rectangulum, nec aequilaterum, quale est Rhomboides; in rectangulum, sed non aequilaterum, quali est figura altera parte longior. Et in aequilateru, sed non rectangulum, cuiusmodi est Rhombus. (El. Eucl. 32)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:parallelogram"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:figura_quadrilatera"
}
},
{
"@id": "Ontology1378394921444:hasInvolvedInstrument",
"@type": [
"owl:IrreflexiveProperty",
"owl:AsymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "SemU_2 is the body_part through which SemU_1 is realized",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:Multilateral_Figure",
"@type": "owl:Class",
"rdfs:subClassOf": [
{
"@id": "_:N82d0f5bd6fe844d28c71ed45f90b1621"
},
{
"@id": "Ontology1378394921444:Rectilinear_Figure"
}
]
},
{
"@id": "Ontology1378394921444:Spherical_Angle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Angle"
}
},
{
"@id": "Ontology1378394921444:triangulum_aequilaterum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:TRIANGULUM_AEQUILATERUM"
],
"Ontology1378394921444:definition": "Trilaterarum autem figurarum, aequilaterum est triangulum, quod tria latera habet aequalia. […] Porro ex aequalitate omnium trium laterum trianguli equilateri infertur, omnes tres eius angulos aequales quoque esse, ceu ad quintam propositionem huius libri demonstrabimus. (El. Eucl. 29) ",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:equilateral_triangle"
}
},
{
"@id": "_:N0585789fccba4fdb949dffe7db31f716",
"@type": "rdfs:Datatype",
"owl:onDatatype": {
"@id": "xsd:float"
},
"owl:withRestrictions": {
"@list": [
{
"@id": "_:N5a68952637c1467396d8fdd2f53bbf21"
}
]
}
},
{
"@id": "Ontology1378394921444:Straight_Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:triangulum_isosceles",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:TRIANGULUM_ISOSCELES"
],
"Ontology1378394921444:definition": "Isosceles autem est, quod duo tantum aequalia habet latera.[ …] \nEx hanc aequalitate duorum laterum trianguli Isoscelis effcitur, duos angulos super reliquum latus etiam esse aequales, ut demonstrabit Euclides propos. 5. huius libri. (El. Eucl. 29)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:isosceles_triangle"
}
},
{
"@id": "Ontology1378394921444:hasInvolvedAgent",
"@type": [
"owl:AsymmetricProperty",
"owl:IrreflexiveProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "SemU_2 is the human agent involved in the activity denoted by SemU_1",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:agentive"
}
},
{
"@id": "Ontology1378394921444:LATUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:circle",
"@type": [
"Ontology1378394921444:Circle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:circulus"
}
},
{
"@id": "Ontology1378394921444:isSourceOf",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "<SemU2> is the source or origin of <SemU1>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:agentive"
}
},
{
"@id": "Ontology1378394921444:terminus",
"@type": [
"Ontology1378394921444:TERMINUS",
"owl:NamedIndividual"
]
},
{
"@id": "Ontology1378394921444:isResultOf",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "<SemU1> is an entity which is the result, effect or by-product of the event expressed by <SemU2>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:agentive"
}
},
{
"@id": "Ontology1378394921444:usedFor",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "<SemU2> is the typical function of <SemU1>. This relation usually applies to instruments or devices to connect them with the activity in which they are used or to their typical purpose.",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Telic"
}
},
{
"@id": "Ontology1378394921444:square",
"@type": [
"Ontology1378394921444:Square",
"owl:NamedIndividual"
],
"Ontology1378394921444:isComposedOf": {
"@id": "Ontology1378394921444:right_angle"
},
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:quadratum"
}
},
{
"@id": "_:Ndb9c5a2790994bc784ce67cbe077ee0e",
"@type": "owl:Restriction",
"owl:onDataRange": {
"@id": "xsd:float"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:degrees"
},
"owl:qualifiedCardinality": {
"@type": "xsd:nonNegativeInteger",
"@value": "1"
}
},
{
"@id": "Ontology1378394921444:figura_mixta",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:FIGURA_MIXTA"
],
"Ontology1378394921444:definition": "Εas (scilicet figuras) vero, quαe partim curvis, partim rectis circumscribitur, appellari mixtas. (El. Eucl 29)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:mixed_figure"
}
},
{
"@id": "Ontology1378394921444:Rectilinear_Angle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Plane_Angle"
}
},
{
"@id": "Ontology1378394921444:Trilateral_Figure",
"@type": "owl:Class",
"rdfs:subClassOf": [
{
"@id": "Ontology1378394921444:Rectilinear_Figure"
},
{
"@id": "_:N4481c0df7454423fb878bff0ec8744d6"
}
]
},
{
"@id": "Ontology1378394921444:FIGURA_MULTILATERA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:parabole",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:PARABOLE"
],
"Ontology1378394921444:definition": "Sunt autem plurima genera linearum mistarum: quaedam enim sunt uniformes, quaedam difformes. Uniformium cursus aliae sunt in plano, aliae in solido. In plano sunt Hyperbole, Parabole, Ellipsis, de quibus agit copiosissime Apollonius in conicis elementis; (...). (Eucl. El. 23)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:parabola"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:linea_mixta"
}
},
{
"@id": "Ontology1378394921444:hasNearSynonym",
"@type": [
"owl:SymmetricProperty",
"owl:ObjectProperty",
"owl:TransitiveProperty"
],
"Ontology1378394921444:definition": "Relates lexical units with very similar cognitive and denotational meaning",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "Ontology1378394921444:Obtusangle_Triangle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Trilateral_Figure"
}
},
{
"@id": "Ontology1378394921444:superficies",
"@type": [
"Ontology1378394921444:SUPERFICIES",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Superficies est, quem longitudinem, latitudinem tantum habet. (24/25)\nPost lineam, quae est prima quantitatis continuae species, unicamque habet dimensionem, definit superficiem, quae secundam magnitudinis speciem constituit, additque priame dimensioni secondum longitudinem, alteram secundum latitudinem. Nam in superficie reperitur, non solo longitudo, ut in linea, verum etiam latitudo, sine tamen omni profunditate. (…) Alii describentes superficiem dicunt, eam esse corporis terminum : Alii vero, magnitudinem duobus constantem intervallis. Potest enm superficie dividi, et secari duo bus modis, uno quidem secundum longitudinem, altero evro secundum latitudinem. (Eucl. El. 24/25). Superficiei autem extrema, sunt lineae. (Eucl. El. 25)\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:surface"
}
},
{
"@id": "Ontology1378394921444:right_triangle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Right_Triangle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:triangulum_rectangulum"
}
},
{
"@id": "_:N4a55811e2a5747a0b25634688fb3c2dc",
"@type": "owl:Restriction",
"owl:onClass": {
"@id": "Ontology1378394921444:Obtuse_Angle"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:hasAngle"
},
"owl:qualifiedCardinality": {
"@type": "xsd:nonNegativeInteger",
"@value": "2"
}
},
{
"@id": "Ontology1378394921444:triangulum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:TRIANGULUM"
],
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:triangle"
}
},
{
"@id": "Ontology1378394921444:curvilinear_figure",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Curvilinear_Figure"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:figura_curvilinea"
}
},
{
"@id": "_:N64d0d9a604734ac09b37d8625f44f664",
"xsd:minInclusive": 0
},
{
"@id": "Ontology1378394921444:Rectilinear_Figure",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Plane_Figure"
}
},
{
"@id": "Ontology1378394921444:linea_recta",
"@type": [
"Ontology1378394921444:LINEA_RECTA",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Recta linea est, quae ex aequo sua interiacet puncta.\nTriplex omnino est linea apud Mathematicos, recta, circularis, quam et curvam dicunt, et mixta, sive composita ex utraque. Ex his describit hoc loco Euclides lineam rectam, quam dicit esse eam, quae aequaliter inter sua puncta extenditur, hoc est, in qua nullum punctum intermedium ab extremis sursum, aut deorsum, vel huc, atque illuc deflectendo substulat; in qua denique nihil flexuosum reperitur. Hanc nobis ad viuum esprimi filum aliquod tenue sumam vi extentum : In eo enim omens partes mediae cum extremis aequalem obtinent situm, neque ulla est alia sublimior, aut umilio, sed omnes equabiliter inter extremos fines positae progrediuntur. Proclus hanc definitoionem exponens ait, tunc demum lineam aliquam ex aequo sua interiacere puncta, quando aequale occupa spatium ei quod inter sua situm est puncta exrema. (...)\nPlato rectam lineam pulchre sic definit : linea recta est, cuius media obumbrant extrema. (…); quod quidem non contingit in lineis non rectis… Archimeds vero ait, lineam rectam esse minimam earum, quae terminos habent eosdem; (…) Campanus denique describens rectam lineam, vocat eam brevissimam ex uno puncto in aliud extensionem.\nQuemadmodum autem matematici per fluxum puncti imaginarium concipiunt describi lineam, ita per qualiattem fluxus puncti qualitatem lineae descriptae intelligunt. Si namque punctum recta fluere concipiatur per brevissimum spatium, ita ut neque in han partem, neque in illam deflectat, sed aequabilem quendam motum, atque incessum teneat, ducetur linea illa descripta, recta (...) (Eucl. El. 23)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:straight_line"
}
},
{
"@id": "Ontology1378394921444:TRIANGULUM_SCALENUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Perpendicular_Angle",
"@type": "owl:Class",
"owl:equivalentClass": {
"@id": "Ontology1378394921444:Right_Angle"
},
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Rectilinear_Angle"
}
},
{
"@id": "Ontology1378394921444:FIGURA_SOLIDA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:figura_solida",
"@type": [
"Ontology1378394921444:FIGURA_SOLIDA",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Figurae unico comprehensae termino sunt, Circulus, Ellipsis, Sphaera, Sphaeroides, et aliae huiusmodi: Pluribus vero terminis inclusae figurae sunt, Triangulum, Quadratum, cbus, parami, etc. Superifices terminatae nuncupantur figurae planae: Solida autem circumscripta, figurae solidae, sive corporeae.",
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:solidum"
}
},
{
"@id": "Ontology1378394921444:semicircle",
"@type": [
"Ontology1378394921444:Semicircle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:semicirculus"
}
},
{
"@id": "Ontology1378394921444:Telic",
"@type": "owl:ObjectProperty",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Conceptual_relations"
}
},
{
"@id": "_:Nd46e5f55c8a7416ba88418455728339e",
"@type": "owl:Restriction",
"owl:allValuesFrom": {
"@id": "_:N568f339fa8934b11956a174ed244008f"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:degrees"
}
},
{
"@id": "Ontology1378394921444:ANGULUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Mixed_Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:Perpendicular_Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:hasProperty",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "SemU_1 has SemU_2 as property (or as one of its properties)",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:LINEA_CONCHOIDEOS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:parabola",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Parabola"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:parabole"
}
},
{
"@id": "Ontology1378394921444:TRIANGULUM_RECTANGULUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_CURVILINEUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:resultingFrom",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "SemU_1 is the entity resulting from the activity denoted by SemU_2 ",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:agentive"
}
},
{
"@id": "Ontology1378394921444:lenght",
"@type": "owl:DatatypeProperty",
"rdfs:range": {
"@id": "_:N1a90067294aa4eecadc5da210df6a200"
}
},
{
"@id": "Ontology1378394921444:SUPERFICIES",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:linea_curva",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:LINEA_CURVA"
],
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:curved_line"
}
},
{
"@id": "Ontology1378394921444:AntonymGrad",
"@type": [
"owl:ObjectProperty",
"owl:SymmetricProperty"
],
"Ontology1378394921444:definition": "<SemU2> is the gradable antonym of <SemU1>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:hasAntonym"
}
},
{
"@id": "Ontology1378394921444:angulus_sphaeralis",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_SPHAERALIS"
],
"Ontology1378394921444:definition": "Sunt et alia duo genera angulorum, quorum prius solidos comprehendit, de quibus Euclides differit in Stereometria, quique in corporibus existunt; posterius vero sphaerales, qui in superficie sphaere constituuntue ex circulorum maximorum circumferentis, er de quibus copiose agitur in sphaericis elementis Menelai. Horum autem omnium explicatio in alium locum a nobis reiicitur, cum hic de solis planis angulis sit futurus sermo. (Eucl. El. 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:spherical_angle"
}
},
{
"@id": "_:N37a0e2ae423c44f586299e7a0ea9e2ad",
"@type": "rdfs:Datatype",
"owl:onDatatype": {
"@id": "xsd:float"
},
"owl:withRestrictions": {
"@list": [
{
"@id": "_:Nc35ef48c9e254d4482b572a7fda59994"
}
]
}
},
{
"@id": "Ontology1378394921444:FIGURA_RECTILINEA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:triangulum_obtusangulum",
"@type": [
"Ontology1378394921444:TRIANGULUM_OBTUSANGULUM",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Triangulum Amblygonium, sive obtusangulum esse quoque potest vel Isosceles, vel scalenum, ut in his figuris cernitur, non autem aequilaterum, alias eadem ratione essent omnes tre anguli per ea, quae propos. 5. Ostendemus, aequales. Ideoque cum unus ponatur obtusus, omnes res obtusi, quod multo magis pugnat cum propos. 17. Et 32. Huius libri. (El. Eucl. 30)\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:obtusangle_triangle"
},
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:triangulum__amblygonium"
}
},
{
"@id": "Ontology1378394921444:angulus_planus",
"@type": [
"Ontology1378394921444:ANGULUS_PLANUS",
"owl:NamedIndividual"
],
"Ontology1378394921444:concerns": {
"@id": "Ontology1378394921444:linea"
},
"Ontology1378394921444:definition": "Planus vero angulus, est duarum linearum in plano se mutuo tangentium, et non in directum iacentium, alterius al alteram inclinatio. \nDeclarat, quidam sit angulus planus, dicens: Quandocunque duae linae in plana aliqua superficie invicem concurrunt, et non in directum constituuntur, efficietur ex huiusmodi concursu, seu inclinatione unius ad alteram, angulus, qui dicitur planus, propterea quod in plana constituatur superficie. (El.E. 25) … Itaque ut linae rectae efficiant angulum, necesse est, ut post concursum productae se mutuo secent (EE 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:plane_angle"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:inclinatio"
}
},
{
"@id": "Ontology1378394921444:hasPurpose",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "SemU_2 encodes the purpose of the domain of knowledge or the activity denoted by SemU_1",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Telic"
}
},
{
"@id": "Ontology1378394921444:sphere",
"@type": [
"Ontology1378394921444:Sphere",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:sphaera"
}
},
{
"@id": "Ontology1378394921444:trilateral_figure",
"@type": [
"Ontology1378394921444:Trilateral_Figure",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:figura_trilatera"
}
},
{
"@id": "Ontology1378394921444:corpus_platonicum",
"@type": [
"Ontology1378394921444:CORPUS_PLATONICUM",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Solida illa quinque regolaria, quae corpora Platonica dici solent. (Eucl. El. 18)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:platonic_solid"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_RECTUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:angulus_rectus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_RECTUS"
],
"Ontology1378394921444:definition": "Cum vero recta linea super rectam consistens lineam eos, qui sunt deinceps, angulos aequales inter se fecerit, rectus est uterque aequalium angulorum: Et quae insistit recta linea, perpendicularis vocatur eius, cui insistit. \nUsus frequentissimus reperitur in geometria anguli recti, et linea perpendicularis, nec non anguli obtusi, et acuti, propterea docet hoc loco Euclides, quisnam angulus rectilineus apud Geometras appelletur rectus, et quaenam linea perpendicularis… Non enim alius dari potest angulus rectilineus, pareter rectum, obtusum, et acutum. … Itaque ut in geometria concludamus angulum aliquem esse rectum, aut lineam, quae ipsum efficit, ad aliam esse perpendicularem, requiritur, et sufficit, ut probemus angulum, qui est ei deinceps. Aequalem illi esse. (Eucl. El. 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:right_angle"
}
},
{
"@id": "Ontology1378394921444:isComposedOf",
"@type": [
"owl:AsymmetricProperty",
"owl:ObjectProperty",
"owl:IrreflexiveProperty"
],
"Ontology1378394921444:definition": "<SemU1> is composed of <SemU2>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:Lexico-semantic_relations",
"@type": "owl:ObjectProperty"
},
{
"@id": "_:N4481c0df7454423fb878bff0ec8744d6",
"@type": "owl:Restriction",
"owl:onClass": {
"@id": "Ontology1378394921444:Line"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:hasBoundary"
},
"owl:qualifiedCardinality": {
"@type": "xsd:nonNegativeInteger",
"@value": "3"
}
},
{
"@id": "Ontology1378394921444:angulus_mixtus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_MIXTUS"
],
"Ontology1378394921444:definition": "Angulus omnis planus conficitur aut ex lineis duabus rectis, qui quidem rectilineus dicitur, et de quo solum hic agit Euclides : aut ex duabus curvis, quem curvilineum vocare licet; aut ex una curva et altera recta, qui non inepte mixtus appellatur. (El. Eucl. 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:mixtilinear_angle"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:inclinatio"
}
},
{
"@id": "Ontology1378394921444:Plane_Angle",
"@type": "owl:Class",
"owl:disjointWith": {
"@id": "Ontology1378394921444:Solid_Angle"
},
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Angle"
}
},
{
"@id": "Ontology1378394921444:hasInvolvedResult",
"@type": [
"owl:IrreflexiveProperty",
"owl:AsymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "Links process denoting terms to the resulting entities",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:surface",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Surface"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:superficies"
}
},
{
"@id": "_:N03c0100aaf534b4d8fd903d5d2cac2e3",
"@type": "owl:Restriction",
"owl:onClass": {
"@id": "Ontology1378394921444:Line"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:hasBoundary"
},
"owl:qualifiedCardinality": {
"@type": "xsd:nonNegativeInteger",
"@value": "4"
}
},
{
"@id": "Ontology1378394921444:right_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Right_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_rectus"
}
},
{
"@id": "Ontology1378394921444:figura_rectilinea",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:FIGURA_RECTILINEA"
],
"Ontology1378394921444:definition": "Rectilineae figurae sunt, quae sub rectis lineis continentur. ",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:rectilinear_figure"
}
},
{
"@id": "Ontology1378394921444:ALTERA_PARTE_LONGIOR_FIGURA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:punctum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:PUNCTUM"
],
"Ontology1378394921444:definition": "Punctum est, cuius pars nulla est. Ante omia vero euclides more Mathematicorum rem propositam exorditur a principiis, initio facto a definitionibus, quarum prima punctum esplica, docens illud dici punctum in quantitate continua, quod nullas habet partes. Quae equidem definitio planius ac faciulius percipietur, si prius intelligamus, quantitatem continuam triplices habere partes, unam secondum longitudinem, alteras secundum latitudinem, et secundum profunditatem altitudinemve alteras ; quanquam non omnis quantitas omnes has partes habet, sed quaedam unicas tantum secundum longitudinem; quaedam duplices, ita ut illis adiiciat partes etiam latitudinis; quidam denique praeter duplices has partes, tertias quoque altitudinis, sive profunditatis continet. Quantitas enim omnis continua aut longa solum est, aut longa simul, et lata, aut longa, lata atque profunda. Neque aliam dimensionem habere potest res ulla quanta, (…). Itaque quod in quantiate continua, sive magnitudine existit, intelligituraque sine omni parte, ita ut neque longum, neque latum, neque profundum esse cogitetur, (ut nimirum excludamus animam rationalem, Nunc vel Instans temporis, atque unitatem, quae etiam partes non habet) id appellatur ab euclide, atque a Geometris punctum. (...) Denique in magnitudine id concipi debet esse punctum, quod in numero unitas, quodque in tempore instans. Sunt enim et cncipienda individua. (Eucl. El. 23)\n\nLineae autem termini, sunt puncta. \nDocet, quaenam sint extrema lineae cuiuuis, seu termini, dicens lineam terminari, sive claudi utrinque punctis ; Non quod omnis linea terminos habeat; quomodo enim lineae infinitae terminos assignare poterimus? Qua etiam ratione in linea circulari extremum aliquod deprehendemus? Sed quod linea quaelibet habens extrema, in suis extremitatibus puncta recipiat. Ut superior linea AB, extrema habet puncta A, et B. idemque in omnibus lineis terminatis, ac fnitis intelligendum est, ita ut earum extremitates sola esse puncta cogitemus. (Eucl. El. 23)\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:punct"
}
},
{
"@id": "_:N8d4a306fe6074beea31928d8a59fff2f",
"@type": "owl:Restriction",
"owl:allValuesFrom": {
"@id": "_:N0585789fccba4fdb949dffe7db31f716"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:degrees"
}
},
{
"@id": "Ontology1378394921444:FIGURA_PLANA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Parallelogram",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Quadrilater_Figure"
}
},
{
"@id": "Ontology1378394921444:angulus_acutus",
"@type": [
"Ontology1378394921444:ANGULUS_ACUTUS",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Acutus vero, qui minor est recto. (Eucl. El. 25). \nObtusus vero, et acutus augeri possunt, et minui infinitis modis, cum ab illa inflexibilitate lineae perpendicularis infinitis etiam modis recta linea possit recedere, ut perspicuum est. (Eucl. El. 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:acute_angle"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:inclinatio"
}
},
{
"@id": "_:N4d154ba2e51e487f96025c300b3b1d77",
"xsd:maxInclusive": 360
},
{
"@id": "http://www.semanticweb.org/ontologies/2013/8/Ontology1378394921444.owl",
"@type": "owl:Ontology"
},
{
"@id": "Ontology1378394921444:Rectangle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Parallelogram"
}
},
{
"@id": "Ontology1378394921444:hasMeronym",
"@type": "owl:ObjectProperty",
"owl:inverseOf": {
"@id": "Ontology1378394921444:hasHolonym"
},
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "Ontology1378394921444:follows",
"@type": [
"owl:ObjectProperty",
"owl:IrreflexiveProperty"
],
"rdfs:comment": "Encodes linear or temporal order ",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "_:N17ba26e3b7a74f5db24b1d575fcc0b12",
"xsd:minExclusive": 90
},
{
"@id": "Ontology1378394921444:Circle_Diameter",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Straight_Line"
}
},
{
"@id": "Ontology1378394921444:circular_line",
"@type": [
"Ontology1378394921444:Circular_Line",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:linea_circularis"
}
},
{
"@id": "Ontology1378394921444:Conchoid_Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:obtuse_angle",
"@type": [
"Ontology1378394921444:Obtuse_Angle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_obtusus"
}
},
{
"@id": "Ontology1378394921444:figura_plana",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:FIGURA_PLANA"
],
"Ontology1378394921444:definition": "Figurae unico comprehensae termino sunt, Circulus, Ellipsis, Sphaera, Sphaeroides, et aliae huiusmodi: Pluribus vero terminis inclusae figurae sunt, Triangulum, Quadratum, cubus, parami, etc. Superifices terminatae nuncupantur figurae planae: Solida autem circumscripta, figurae solidae, sive corporeae.",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:plane_figure"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:superficies"
},
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:planum"
}
},
{
"@id": "_:N568f339fa8934b11956a174ed244008f",
"@type": "rdfs:Datatype",
"owl:onDatatype": {
"@id": "xsd:integer"
},
"owl:withRestrictions": {
"@list": [
{
"@id": "_:N8f757c76c7bb4379aa817f7322ee4a15"
}
]
}
},
{
"@id": "Ontology1378394921444:Isosceles_Triangle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Trilateral_Figure"
}
},
{
"@id": "Ontology1378394921444:curved_line",
"@type": [
"Ontology1378394921444:Curved_Line",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:linea_curva"
}
},
{
"@id": "Ontology1378394921444:LINEA_CURVA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:solid_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Solid_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_solidus"
}
},
{
"@id": "Ontology1378394921444:triangulum__amblygonium",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:TRIANGULUM_AMBLYGONIUM"
],
"Ontology1378394921444:definition": "Amblygonium autem, quod obtusum angulum habet. \nTriangulum Amblygonium, sive obtusangulum esse quoque potest vel Isosceles, vel scalenum, ut in his figuris cernitur, non autem aequilaterum, alias eadem ratione essent omnes tre anguli per ea, quae propos. 5. Ostendemus, aequales. Ideoque cum unus ponatur obtusus, omnes res obtusi, quod multo magis pugnat cum propos. 17. Et 32. Huius libri. (El. Eucl. 30)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:obtusangle_triangle"
},
"Ontology1378394921444:hasNearSynonym": {
"@id": "Ontology1378394921444:triangulum_obtusangulum"
},
"owl:sameAs": {
"@id": "Ontology1378394921444:triangulum_obtusangulum"
}
},
{
"@id": "Ontology1378394921444:constitutive",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "The source semantic unit is a constitutive element of the target unit",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Conceptual_relations"
}
},
{
"@id": "Ontology1378394921444:Rhomb",
"@type": "owl:Class",
"rdfs:subClassOf": [
{
"@id": "Ontology1378394921444:Parallelogram"
},
{
"@id": "_:Nd6f0f2fca55e48bb9da7fb81f50c2ca3"
}
]
},
{
"@id": "Ontology1378394921444:Punct",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Geometric_Entity"
}
},
{
"@id": "Ontology1378394921444:rectangle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Rectangle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:rectangulum"
}
},
{
"@id": "Ontology1378394921444:Geometric_Entity",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:CONCEPT"
}
},
{
"@id": "Ontology1378394921444:angulus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS"
],
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:angle"
}
},
{
"@id": "Ontology1378394921444:TRIANGULUM_ISOSCELES",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:mixed_line",
"@type": [
"Ontology1378394921444:Mixed_Line",
"owl:NamedIndividual"
],
"Ontology1378394921444:isComposedOf": {
"@id": "Ontology1378394921444:punct"
},
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:linea_mixta"
}
},
{
"@id": "Ontology1378394921444:acutangle_triangle",
"@type": [
"Ontology1378394921444:Acutangle_Triangle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": [
{
"@id": "Ontology1378394921444:triangulum_acutangulum"
},
{
"@id": "Ontology1378394921444:triangulum_oxygonium"
}
]
},
{
"@id": "Ontology1378394921444:figura_curvilinea",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:FIGURA_CURVILINEA"
],
"Ontology1378394921444:definition": "Ex quo perspicuum est, figuras planas curvis lineis comprehensas, dici curvilineas. (El. Eucl. 29)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:curvilinear_figure"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:figura_plana"
}
},
{
"@id": "Ontology1378394921444:linea_perpendicularis",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:LINEA_PERPENDICULARIS"
],
"Ontology1378394921444:definition": "Cum vero recta linea super rectam consistens lineam eos, qui sunt deinceps, angulos aequales inter se fecerit, rectus est uterque aequalium angulorum: Et quae insistit recta linea, perpendicularis vocatur eius, cui insistit. \nUsus frequentissimus reperitur in geometria anguli recti, et linea perpendicularis, nec non anguli obtusi, et acuti, propterea docet hoc loco Euclides, quisnam angulus rectilineus apud Geometras appelletur rectus, et quaenam linea perpendicularis… Non enim alius dari potest angulus rectilineus, pareter rectum, obtusum, et acutum. … Itaque ut in geometria concludamus angulum aliquem esse rectum, aut lineam, quae ipsum efficit, ad aliam esse perpendicularem, requiritur, et sufficit, ut probemus angulum, qui est ei deinceps. Aequalem illi esse. (Eucl. El. 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:perpendicular_line"
}
},
{
"@id": "Ontology1378394921444:Helicar_Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:rhomb",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Rhomb"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:rhombus"
}
},
{
"@id": "Ontology1378394921444:SOLIDUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Mixtilinear_Angle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Plane_Angle"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_SPHAERALIS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:curvilinear_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Curvilinear_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_curvilineus"
}
},
{
"@id": "Ontology1378394921444:Circle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Curvilinear_Figure"
}
},
{
"@id": "Ontology1378394921444:PUNCTUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:isRelatedTo",
"@type": [
"owl:ObjectProperty",
"owl:SymmetricProperty"
],
"Ontology1378394921444:definition": "Encodes a generic abstract relationship that links the source term to the target term",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:LINEA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:MultOpposition",
"@type": [
"owl:SymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "<SemU2> is one of the multiple antonyms of <SemU1>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:hasAntonym"
}
},
{
"@id": "Ontology1378394921444:Quadrilater_Figure",
"@type": "owl:Class",
"rdfs:subClassOf": [
{
"@id": "_:N03c0100aaf534b4d8fd903d5d2cac2e3"
},
{
"@id": "Ontology1378394921444:Rectilinear_Figure"
}
]
},
{
"@id": "Ontology1378394921444:TRIANGULUM_AEQUILATERUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Mixed_Figure",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Plane_Figure"
}
},
{
"@id": "Ontology1378394921444:spherical_angle",
"@type": [
"Ontology1378394921444:Spherical_Angle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_sphaeralis"
}
},
{
"@id": "Ontology1378394921444:circle_diameter",
"@type": [
"Ontology1378394921444:Circle_Diameter",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:diameter_circuli"
}
},
{
"@id": "Ontology1378394921444:TRAPEZIUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:TRIANGULUM_ACUTANGULUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:line",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Line"
],
"Ontology1378394921444:isComposedOf": {
"@id": "Ontology1378394921444:punct"
},
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:linea"
}
},
{
"@id": "Ontology1378394921444:Hyperbole",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:hasAntonym",
"@type": [
"owl:ObjectProperty",
"owl:SymmetricProperty"
],
"Ontology1378394921444:definition": "Sense opposition between pairs of nouns or verbs",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "Ontology1378394921444:FIGURA_TRILATERA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Angle",
"@type": "owl:Class",
"rdfs:subClassOf": [
{
"@id": "_:Ndb9c5a2790994bc784ce67cbe077ee0e"
},
{
"@id": "Ontology1378394921444:Geometric_Entity"
}
]
},
{
"@id": "Ontology1378394921444:hasOtherDenomination",
"@type": [
"owl:SymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "Relates a term to another denomination provided",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "Ontology1378394921444:FIGURA_QUADRILATERA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Acute_Angle",
"@type": "owl:Class",
"owl:disjointWith": [
{
"@id": "Ontology1378394921444:Obtuse_Angle"
},
{
"@id": "Ontology1378394921444:Right_Angle"
}
],
"rdfs:subClassOf": [
{
"@id": "_:Nd46e5f55c8a7416ba88418455728339e"
},
{
"@id": "Ontology1378394921444:Rectilinear_Angle"
}
]
},
{
"@id": "Ontology1378394921444:mixed_figure",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Mixed_Figure"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:figura_mixta"
}
},
{
"@id": "Ontology1378394921444:Plane_Figure",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Figure"
}
},
{
"@id": "Ontology1378394921444:quadrilater_figure",
"@type": [
"Ontology1378394921444:Quadrilater_Figure",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": [
{
"@id": "Ontology1378394921444:altera_parte_longior_figura"
},
{
"@id": "Ontology1378394921444:figura_quadrilatera"
}
]
},
{
"@id": "Ontology1378394921444:PARABOLE",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:angulus_concavus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_CONCAVUS"
],
"Ontology1378394921444:definition": "Angulus omnis planus conficitur aut ex lineis duabus rectis, qui quidem rectilineus dicitur, et de quo solum hic agit Euclides : aut ex duabus curvis, quem curvilineum vocare licet; aut ex una curva et altera recta, qui non inepte mixtus appellatur. Ex hisce porro lineis possunt curvilinei anguli tribus variari modis, et mixti duobus, pro varia inclinatione, seu habitudine linearum curvarum, utpote secundum convexum, concavum, ceu in propositis angulis plane, et aperte perspicitur.",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:concave_angle"
}
},
{
"@id": "Ontology1378394921444:Concave_Angle",
"@type": "owl:Class",
"rdfs:subClassOf": [
{
"@id": "Ontology1378394921444:Angle"
},
{
"@id": "_:N0caa430fee89442998741da8f7fea959"
}
]
},
{
"@id": "Ontology1378394921444:RHOMBUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:hasBoundary",
"@type": "owl:ObjectProperty",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Conceptual_relations"
}
},
{
"@id": "Ontology1378394921444:FIGURA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:rhombus",
"@type": [
"Ontology1378394921444:RHOMBUS",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Rhombus autem, quae equilatera, sed rectangula non est. […] habet enim omnia latera aequalia, angulos vero non rectos, et inaequales, quamis bini oppositi inter se aequales existant. (El. Eucl. 31) ",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:rhomb"
}
},
{
"@id": "Ontology1378394921444:LINEA_CIRCULARIS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:centrum_circuli",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:CENTRUM_CIRCULI"
],
"Ontology1378394921444:definition": "Centrum circuli. Docet, punctum illud intra circulum,a quo omnes lineae rectae ad circumferentiam ductae sunt aequales, appellari centrum circuli. […] Caeterum, ut punctum aliquod circuli dicatur centrum, satis est, ut ab beo tres duntaxat lineae accidentes in peripheriam sint aequales inter se, ut demonstrat Euclides propositione 9. Lib.3.",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:centre_circle"
}
},
{
"@id": "Ontology1378394921444:RECTANGULUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:indirectTelic",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "SemU_1 denotes the ‘instrument’ (either body part or phenomenon) serving for SemU_2. SemU_1 is either the subject of a verb which (generally) corresponds to the verbal base of SemU_2 or its instrumental complement",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Telic"
}
},
{
"@id": "Ontology1378394921444:quadratum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:QUADRATUM"
],
"Ontology1378394921444:definition": "Quadrilaterarum autem figurarum, quadratum quidem est, quod & aequilaterum, & rectangulum est. \n[…] Prima figura quadrilatera dicitur Quadratum, cuius quidem omnia quatuor latera inter se aequalia existunt, omnesque anguli recti. Itaque quadrangulum aequilaterum, et non rectangulum. (El. Eucl. 30)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:square"
}
},
{
"@id": "Ontology1378394921444:hyperbole",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:HYPERBOLE"
],
"Ontology1378394921444:definition": "Sunt autem plurima genera linearum mistarum: quaedam enim sunt uniformes, quaedam difformes. Uniformium cursus aliae sunt in plano, aliae in solido. In plano sunt Hyperbole, Parabole, Ellipsis, de quibus agit copiosissime Apollonius in conicis elementis; (...). (Eucl. El. 23)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:hyperbole_C"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:linea_mixta"
}
},
{
"@id": "Ontology1378394921444:isOpposedTo",
"@type": [
"owl:SymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "Encodes a relationship of opposition holding between two phenomena or entities",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "Ontology1378394921444:Equilateral_Triangle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Trilateral_Figure"
}
},
{
"@id": "Ontology1378394921444:definition",
"@type": "owl:AnnotationProperty"
},
{
"@id": "Ontology1378394921444:altera_parte_longior_figura",
"@type": [
"Ontology1378394921444:ALTERA_PARTE_LONGIOR_FIGURA",
"owl:NamedIndividual"
],
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:quadrilater_figure"
},
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:figura_quadrilatera"
}
},
{
"@id": "Ontology1378394921444:angulus_obtusus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_OBTUSUS"
],
"Ontology1378394921444:definition": "Obtusus angulus est, qui recto maior est. (Eucl. El. 25)\nObtusus vero, et acutus augeri possunt, et minui infinitis modis, cum ab illa inflexibilitate lineae perpendicularis infinitis etiam modis recta linea possit recedere, ut perspicuum est. (Eucl. El. 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:obtuse_angle"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:inclinatio"
}
},
{
"@id": "Ontology1378394921444:Triangle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Trilateral_Figure"
}
},
{
"@id": "Ontology1378394921444:perpendicular_angle",
"@type": [
"Ontology1378394921444:Perpendicular_Angle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_perpendicularis"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_SOLIDUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:contains",
"@type": "owl:ObjectProperty",
"Ontology1378394921444:definition": "<SemU2> is an object which is typically contained in <SemU1>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:multilateral_figure",
"@type": [
"Ontology1378394921444:Multilateral_Figure",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:figura_multilatera"
}
},
{
"@id": "Ontology1378394921444:LINEA_PERPENDICULARIS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:linea_helica",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:LINEA_HELICA"
],
"Ontology1378394921444:definition": "Sunt autem plurima genera linearum mistarum: quaedam enim sunt uniformes, quaedam difformes. Uniformium cursus aliae sunt in plano, aliae in solido. In plano sunt Hyperbole,Parabole,Ellipsis, de quibus agit copiosissime Apollonius in conicis elementis; linea Conchoideos, de qua Nicomedes; linea Helica, de qua Archimedes in libro de lineis spiralibus tractationem instituit, et aliae huiusmodi. In solido, seu superficie curva sunt alterius generis lineae helicae, quam ea ab Archimede descripta, qualis est illa, quae circa cylindrum aliquem convoluitur; nec non ea, quae circa conum existit, vel etiam quae circa sphaeram, cuiusmodi sunt spirae illae, quas sol describit ab ortu in occasum , ut in sphaera docuimus. (Eucl. El. 23)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:helicar_line"
}
},
{
"@id": "_:N8f757c76c7bb4379aa817f7322ee4a15",
"xsd:maxExclusive": 90
},
{
"@id": "_:N458717f3ef3e4c598378257448662e76",
"@type": "owl:Restriction",
"owl:allValuesFrom": {
"@id": "_:N91c165032b1c48f1890ee8f28b8431b9"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:degrees"
}
},
{
"@id": "_:N6ff44969a83f411a908d52af283577d3",
"xsd:minExclusive": 0
},
{
"@id": "Ontology1378394921444:degrees",
"@type": [
"owl:FunctionalProperty",
"owl:DatatypeProperty"
],
"rdfs:domain": {
"@id": "Ontology1378394921444:Angle"
},
"rdfs:range": {
"@id": "_:N64529ebe59ad490a96563e52081d302b"
}
},
{
"@id": "Ontology1378394921444:Circular_Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_MIXTUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:rectangulum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:RECTANGULUM"
],
"Ontology1378394921444:definition": "Vel contra, rectangulum, et non aequilaterum, nequaquam quadratum appellabitur. (El. Eucl. 30) \nAltera vero parte longior figura est, quae rectangula quidem, at aequilatera non est. (El. Eucl. 31)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:rectangle"
}
},
{
"@id": "Ontology1378394921444:angle",
"@type": [
"Ontology1378394921444:Angle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus"
}
},
{
"@id": "Ontology1378394921444:Platonic_Solid",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Solid_Figure"
}
},
{
"@id": "Ontology1378394921444:helicar_line",
"@type": [
"Ontology1378394921444:Helicar_Line",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:linea_helica"
}
},
{
"@id": "Ontology1378394921444:CIRCULUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:agentive",
"@type": [
"owl:ObjectProperty",
"owl:IrreflexiveProperty"
],
"Ontology1378394921444:definition": "Formal node",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Conceptual_relations"
}
},
{
"@id": "Ontology1378394921444:FIGURA_MIXTA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:denotes",
"@type": "owl:ObjectProperty",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Interlevel_relations"
}
},
{
"@id": "Ontology1378394921444:plane_figure",
"@type": [
"Ontology1378394921444:Plane_Figure",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": [
{
"@id": "Ontology1378394921444:planum"
},
{
"@id": "Ontology1378394921444:figura_plana"
}
]
},
{
"@id": "Ontology1378394921444:SPHAERA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:isPartOf",
"@type": [
"owl:IrreflexiveProperty",
"owl:AsymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "<SemU1> is a part of <SemU2>",
"owl:inverseOf": {
"@id": "Ontology1378394921444:hasPart"
},
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:rectilinear_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Rectilinear_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_rectilineus"
}
},
{
"@id": "Ontology1378394921444:linea",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:LINEA"
],
"Ontology1378394921444:definition": "Linea vero, longitudo latitudinis expers.\nDefinit hic lineam, primam speciem magnitudinis, quam dicit esse quantitatem longam dutaxat, non autem latam intellige neque profundam. A qua enim quanti tate excluditur latitudo, ab eadem etiam necessario profunditas removetur, non autem contra. Lineam autem hanc, sive longitudinem absque latitudine, non absurde concipere, intelligerque poterimus ex termino loci alicuius partim illuminati, atque partim obumbrati. (…) Ut si punctum A, fluere ntelligatur ex A, in B, vestigium effectum AB, linea appellabitur, cum vere intervallum inter duo puncta A atque B, comprehensum sit longitudo quaedam carens omni latitudine, propterea quod punctum A, omni privatum dimensione, eam efficere nulla ratione potuerit. Hinc factum est, ut alii dixerint, lineam nil esse aliud, quam puncti fluxum : Alii, vero, magnitudinem uni cintentam intervallo. Potest enim linea unico tantum modo, utpote secundum longitudinem secari, atque dividi. (Eucl. El. 23)\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:line"
},
"Ontology1378394921444:hasOtherDenomination": {
"@id": "Ontology1378394921444:fluxum"
}
},
{
"@id": "Ontology1378394921444:isosceles_triangle",
"@type": [
"Ontology1378394921444:Isosceles_Triangle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:triangulum_isosceles"
}
},
{
"@id": "Ontology1378394921444:LINEA_HELICA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:conchoid_line",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Conchoid_Line"
]
},
{
"@id": "Ontology1378394921444:inclinatio",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:INCLINATIO"
]
},
{
"@id": "Ontology1378394921444:Acutangle_Triangle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Trilateral_Figure"
}
},
{
"@id": "Ontology1378394921444:Square",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Quadrilater_Figure"
}
},
{
"@id": "_:N5fcc9a0b2d834b7b94619f670f6d408c",
"@type": "owl:Restriction",
"owl:onClass": {
"@id": "Ontology1378394921444:Acute_Angle"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:hasAngle"
},
"owl:qualifiedCardinality": {
"@type": "xsd:nonNegativeInteger",
"@value": "2"
}
},
{
"@id": "Ontology1378394921444:fluxum",
"@type": [
"Ontology1378394921444:FLUXUM",
"owl:NamedIndividual"
]
},
{
"@id": "Ontology1378394921444:Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Geometric_Entity"
}
},
{
"@id": "Ontology1378394921444:Spheroid",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Curvilinear_Figure"
}
},
{
"@id": "Ontology1378394921444:TRIANGULUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Curvilinear_Figure",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Plane_Figure"
}
},
{
"@id": "Ontology1378394921444:spheroid",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Spheroid"
]
},
{
"@id": "Ontology1378394921444:rectilinear_figure",
"@type": [
"Ontology1378394921444:Rectilinear_Figure",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:figura_rectilinea"
}
},
{
"@id": "Ontology1378394921444:hasDomainOfInterest",
"@type": [
"owl:ObjectProperty",
"owl:IrreflexiveProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "SemU_2 is a domain of knowledge that is of interest of SemU_1 (Human)",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Telic"
}
},
{
"@id": "Ontology1378394921444:Dinostratus_Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:semicirculus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:SEMICIRCULUS"
],
"Ontology1378394921444:definition": "Semicirculus vero est figura, qaue continetur sub diametro, & sub ea linea, quae de circuli peripheria aufertur. ",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:semicircle"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:figura_curvilinea"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_PERPENDICULARIS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "_:N0caa430fee89442998741da8f7fea959",
"@type": "owl:Restriction",
"owl:allValuesFrom": {
"@id": "_:N37a0e2ae423c44f586299e7a0ea9e2ad"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:degrees"
}
},
{
"@id": "Ontology1378394921444:circulus",
"@type": [
"Ontology1378394921444:CIRCULUS",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Circulus, est figura plana sub una linea comprehensa, quae peripheria appellatur, ad quam ab uno puncto eorum, quae intra figuram sunt posita, cadentes omnes rectae lineae inter se sunt aequales. \nDefinit hic circulum, figuram inter planas perfectissimam, docens figuram illam planam, quae unica linea circumscribitur, ad quam lineam omnes rectae lineae ductae ab uno puncto, quod intra figuram existit, sint aequales, vocari circulum. […] Qua vero ratione in circulo punctum illud medium reperiri debeat, docebit Euclides propositione 1. Tertii lib. Adiungit quoque Euclides, lineam estrema circuli, qualis est ABC, appellari Peripheriam, seu, ut Latini exponunt, circumferentiam. Potest circulus etiam hac ratione describi. Circulus est figura plana, quae describitur a linea recta finita circa alterum punctum extremum quiescens circumducta, cum in eundem cursus locum restituta fuerit, unde moveri coeperat. […]\nIgitur Ellipsis, quamvis figura sit plana una linea circumscripta, tamen quia in ea non datur punctum, a quo ad ipsam lineam terminantem omnes rectae lineae sint aequales, circulus dici nequit.\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:circle"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:figura_curvilinea"
}
},
{
"@id": "Ontology1378394921444:isDenotedBy",
"@type": "owl:ObjectProperty",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Interlevel_relations"
}
},
{
"@id": "Ontology1378394921444:triangle",
"@type": [
"Ontology1378394921444:Triangle",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:triangulum"
}
},
{
"@id": "Ontology1378394921444:SEMICIRCULUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:hasPart",
"@type": [
"owl:ObjectProperty",
"owl:AsymmetricProperty",
"owl:IrreflexiveProperty"
],
"Ontology1378394921444:definition": "<SemU1> has prototypically <SemU2> as one of its parts",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:linea_circularis",
"@type": [
"Ontology1378394921444:LINEA_CIRCULARIS",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Quemadmodum autem matematici per fluxum puncti imaginarium concipiunt describi lineam, ita per qualitatem fluxus puncti qualitatem lineae descriptae intelligunt. Si namque punctum recta fluere concipiatur per brevissimum spatium, ita ut neque in han partem, neque in illam deflectat, sed aequabilem quendam motum, atque incessum teneat, ducetur linea illa descripta, recta : Si vero punctum fluens cogitetur in motu vacillare, atque hinc inde titubare, appellabitur linea descripta mixta : si denique punctum fluens in suo motu, non vacillet, sed in orbem feratur uniformi quodam motu, atque distantia certo aliquo puncto, circa quod fertur, vocabitur descripta illa linea, circularis. (Eucl. El. 23)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:circular_line"
}
},
{
"@id": "Ontology1378394921444:solidum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:SOLIDUM"
],
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:solid_figure"
},
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:figura_solida"
}
},
{
"@id": "Ontology1378394921444:platonic_solid",
"@type": [
"Ontology1378394921444:Platonic_Solid",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:corpus_platonicum"
}
},
{
"@id": "Ontology1378394921444:Scalene_Triangle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Trilateral_Figure"
}
},
{
"@id": "Ontology1378394921444:Parabola",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:dealsWith",
"@type": [
"owl:IrreflexiveProperty",
"owl:AsymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "For Domain_of_Knowledge entries, SemU_2 is a topic that the domain denoted by SemU_1 deals with",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_CONCAVUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Curved_Line",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Line"
}
},
{
"@id": "Ontology1378394921444:angulus_rectilineus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_RECTILINEUS"
],
"Ontology1378394921444:definition": "Cum autem, quae angulum continent lineae, rectae fuerint, rectilineus ille angulus appellatur. (El. Eucl 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:rectilinear_angle"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:inclinatio"
}
},
{
"@id": "Ontology1378394921444:usedBy",
"@type": [
"owl:ObjectProperty",
"owl:IrreflexiveProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "SemU_2 uses the entity denoted by SemU_1",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Telic"
}
},
{
"@id": "Ontology1378394921444:sphaera",
"@type": [
"Ontology1378394921444:SPHAERA",
"owl:NamedIndividual"
],
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:sphere"
}
},
{
"@id": "Ontology1378394921444:Interlevel_relations",
"@type": "owl:ObjectProperty"
},
{
"@id": "Ontology1378394921444:figura_quadrilatera",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:FIGURA_QUADRILATERA"
],
"Ontology1378394921444:definition": "Quadrilaterae quidem, quae sub quator. τετράπλευρα δὲ τὰ ὑπὸ τεσσάρων (vedi def. precedente: rectilineae figurae)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:quadrilater_figure"
},
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:altera_parte_longior_figura"
}
},
{
"@id": "Ontology1378394921444:TERMINUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:solid_figure",
"@type": [
"Ontology1378394921444:Solid_Figure",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": [
{
"@id": "Ontology1378394921444:solidum"
},
{
"@id": "Ontology1378394921444:figura_solida"
}
]
},
{
"@id": "Ontology1378394921444:ANGULUS_PLANUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "_:N91c165032b1c48f1890ee8f28b8431b9",
"@type": "rdfs:Datatype",
"owl:onDatatype": {
"@id": "xsd:integer"
},
"owl:withRestrictions": {
"@list": [
{
"@id": "_:N17ba26e3b7a74f5db24b1d575fcc0b12"
}
]
}
},
{
"@id": "Ontology1378394921444:mixtilinear_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Mixtilinear_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_mixtus"
}
},
{
"@id": "Ontology1378394921444:figura",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:FIGURA"
],
"Ontology1378394921444:definition": "Figura est, quae sub aliquo, vel aliquibus terminis comprehenditur. \n Non omnis quantitas terminos possidens Figura dici potest, ne lineam fnitam figuram appellare cogamur : Sed ea solum magnitudines, quae latitudinem habent, nempe superficies terminatae. Et quae profunditatem adeptae quoque sunt, t solida finita, Figurae nomine appellabuntur…. Itaque termini debent quantitatem, quae figura dicitur,a mbire, et non tantum terminare. … Figurae unico comprehensae termino sunt, Circulus, Ellipsis, Sphaera, Sphaeroides, et aliae huiusmodi: Pluribus vero terminis inclusae figurae sunt, Triangulum, Quadratum, cbus, parami, etc. Superifices terminatae nuncupantur figurae planae: Solida autem circumscripta, figurae solidae, sive corporeae.\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:figure"
}
},
{
"@id": "Ontology1378394921444:ellipsis_C",
"@type": [
"Ontology1378394921444:Ellipsis",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:ellipsis"
}
},
{
"@id": "Ontology1378394921444:obtusangle_triangle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Obtusangle_Triangle"
],
"Ontology1378394921444:isDenotedBy": [
{
"@id": "Ontology1378394921444:triangulum__amblygonium"
},
{
"@id": "Ontology1378394921444:triangulum_obtusangulum"
}
]
},
{
"@id": "Ontology1378394921444:acute_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Acute_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_acutus"
}
},
{
"@id": "Ontology1378394921444:concerns",
"@type": [
"owl:ObjectProperty",
"owl:IrreflexiveProperty"
],
"Ontology1378394921444:definition": "<SemU1> is a phenomenon, event or situation that typically concerns of affects <SemU2>",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:hasAngle",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty",
"owl:AsymmetricProperty"
],
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Conceptual_relations"
}
},
{
"@id": "_:N64529ebe59ad490a96563e52081d302b",
"@type": "rdfs:Datatype",
"owl:onDatatype": {
"@id": "xsd:integer"
},
"owl:withRestrictions": {
"@list": [
{
"@id": "_:N4d154ba2e51e487f96025c300b3b1d77"
},
{
"@id": "_:N64d0d9a604734ac09b37d8625f44f664"
}
]
}
},
{
"@id": "Ontology1378394921444:hyperbole_C",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Hyperbole"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:hyperbole"
}
},
{
"@id": "Ontology1378394921444:LINEA_RECTA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:figura_trilatera",
"@type": [
"Ontology1378394921444:FIGURA_TRILATERA",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Trilaterae quidem, quae sub tribus. \nAffirmans Euclides, eas rectilineas figuras dici trilateras, qaue tribus rectis lineis circumscribitur, aperte nobis annui, quonam modo triangulum definiri debeat. Cum enim in rectilineis figuris tot sint anguli, quo latera, seu rectae lineae, ex quibus constant, dicetur triangulum, figura tribus rectis lineis contenta, cuius omnes species iam iam adducentur. (29)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:trilateral_figure"
}
},
{
"@id": "Ontology1378394921444:angulus_solidus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ANGULUS_SOLIDUS"
],
"Ontology1378394921444:definition": "Sunt et alia duo genera angulorum, quorum prius solidos comprehendit, de quibus Euclides differit in Stereometria, quique in corporibus existunt; posterius vero sphaerales, qui in superficie sphaere constituuntue ex circulorum maximorum circumferentis, er de quibus copiose agitur in sphaericis elementis Menelai. Horum autem omnium explicatio in alium locum a nobis reiicitur, cum hic de solis planis angulis sit futurus sermo. (Eucl. El. 26)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:solid_angle"
}
},
{
"@id": "Ontology1378394921444:isActivityOf",
"@type": [
"owl:IrreflexiveProperty",
"owl:AsymmetricProperty",
"owl:ObjectProperty"
],
"Ontology1378394921444:definition": "SemU_2 is the typical activity of the person encoded in SemU_1",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Telic"
}
},
{
"@id": "Ontology1378394921444:figura_multilatera",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:FIGURA_MULTILATERA"
],
"Ontology1378394921444:definition": "Multilaterae (scil. figurae) autem, quae sub pluribus, quam quatuor, rectis lineis comprehenduntur. […] Quis enim ex dictis non colligat, figuram quinque lineis rectis contentam appellari quinquilateram, et sex lineis comprehensam sexilateram, atque reliquas eodem modo. Sic etiam dici poterunt huiusmodi figurae quinquangulae, sexangulae, septangulae, etc. (El. Eucl. 29).",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:multilateral_figure"
}
},
{
"@id": "Ontology1378394921444:concave_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Concave_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_concavus"
}
},
{
"@id": "Ontology1378394921444:ellipsis",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:ELLIPSIS"
],
"Ontology1378394921444:definition": "Sunt autem plurima genera linearum mistarum: quaedam enim sunt uniformes, quaedam difformes. Uniformium cursus aliae sunt in plano, aliae in solido. In plano sunt Hyperbole, Parabole, Ellipsis, de quibus agit copiosissime Apollonius in conicis elementis; (...). (Eucl. El. 23)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:ellipsis_C"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:figura_curvilinea"
}
},
{
"@id": "Ontology1378394921444:straight_line",
"@type": [
"Ontology1378394921444:Straight_Line",
"owl:NamedIndividual"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:linea_recta"
}
},
{
"@id": "Ontology1378394921444:DIAMETER_CIRCULI",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_ACUTUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:hasSynonym",
"@type": [
"owl:SymmetricProperty",
"owl:ObjectProperty",
"owl:TransitiveProperty"
],
"Ontology1378394921444:definition": "Relates lexical units that share the same meaning",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "Ontology1378394921444:linea_conchoideos",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:LINEA_CONCHOIDEOS"
],
"Ontology1378394921444:definition": "Sunt autem plurima genera linearum mist rum: quaedam enim sunt uniformes, quaedam difformes. Uniformium cursus aliae sunt in plano, aliae in solido. In plano sunt Hyperbole,Parabole,Ellipsis, de quibus agit copiosissime Apollonius in conicis elementis; linea Conchoideos, de qua Nicomedes;(...). (Eucl. El. 23)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:conchoid_line"
},
"Ontology1378394921444:hasHyperonym": {
"@id": "Ontology1378394921444:linea_mixta"
}
},
{
"@id": "_:N82d0f5bd6fe844d28c71ed45f90b1621",
"@type": "owl:Restriction",
"owl:minQualifiedCardinality": {
"@type": "xsd:nonNegativeInteger",
"@value": "5"
},
"owl:onClass": {
"@id": "Ontology1378394921444:Line"
},
"owl:onProperty": {
"@id": "Ontology1378394921444:hasBoundary"
}
},
{
"@id": "Ontology1378394921444:HYPERBOLE",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:scalene_triangle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Scalene_Triangle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:triangulum_scalenum"
}
},
{
"@id": "Ontology1378394921444:relates",
"@type": "owl:ObjectProperty",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "_:Nd6f0f2fca55e48bb9da7fb81f50c2ca3",
"@type": "owl:Class",
"owl:intersectionOf": {
"@list": [
{
"@id": "_:N5fcc9a0b2d834b7b94619f670f6d408c"
},
{
"@id": "_:N4a55811e2a5747a0b25634688fb3c2dc"
}
]
}
},
{
"@id": "Ontology1378394921444:Right_Angle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Rectilinear_Angle"
}
},
{
"@id": "Ontology1378394921444:Solid_Figure",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Figure"
}
},
{
"@id": "Ontology1378394921444:triangulum_oxygonium",
"@type": [
"Ontology1378394921444:TRIANGULUM_OXYGONIUM",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Oxygonium vero, quod tres habet acutos angulos.\nOmne triangulum Oxygonium, sive acutangulum, potest esse vel aequilaterum, vel isosceles, vel scalenum, ut cernere licet in triangulis, quae in specie bus prioris divisionis spectanda exhibuimus, ne eadem hic frustra repetantur. (El. Eucl. 30)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:acutangle_triangle"
},
"Ontology1378394921444:hasSynonym": {
"@id": "Ontology1378394921444:triangulum_acutangulum"
}
},
{
"@id": "Ontology1378394921444:LINEA_MIXTA",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Solid_Angle",
"@type": "owl:Class",
"owl:disjointWith": {
"@id": "Ontology1378394921444:Spherical_Angle"
},
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Angle"
}
},
{
"@id": "Ontology1378394921444:Convex_Angle",
"@type": "owl:Class",
"rdfs:subClassOf": [
{
"@id": "_:N8d4a306fe6074beea31928d8a59fff2f"
},
{
"@id": "Ontology1378394921444:Angle"
}
]
},
{
"@id": "Ontology1378394921444:TERM",
"@type": "owl:Class"
},
{
"@id": "Ontology1378394921444:plane_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Plane_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_planus"
},
"Ontology1378394921444:isRelatedTo": {
"@id": "Ontology1378394921444:surface"
}
},
{
"@id": "Ontology1378394921444:convex_angle",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:Convex_Angle"
],
"Ontology1378394921444:isDenotedBy": {
"@id": "Ontology1378394921444:angulus_convexus"
}
},
{
"@id": "Ontology1378394921444:diameter_circuli",
"@type": [
"Ontology1378394921444:DIAMETER_CIRCULI",
"owl:NamedIndividual"
],
"Ontology1378394921444:definition": "Diameter autem circuli, est recta quaedam linea per centrum ducta, & ex utraque parte in circuli peripheriam terminata, quae circulum bifariam secat. \n […] unde plures assignari potuerunt in circulo diametri, unum vero centrum duntaxat. Quod autem Euclides addit, circulum utpote per centrum, ducitur. Hinc enim fit, ut propter directum diametri per centrum transitum, utrinque aequales circumferentiae abscindantur. (dimostrato da Talete)… […] Ex hac demonstratione constat, diametrum non solum circumferentia, verumetiam totam aream circoli ecare binaria. (28)\n",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:circle_diameter"
}
},
{
"@id": "Ontology1378394921444:implies",
"@type": [
"owl:SymmetricProperty",
"owl:ObjectProperty",
"owl:IrreflexiveProperty"
],
"Ontology1378394921444:definition": "Encodes a reciprocal direct implication holding between SemU_1 and SemU_2",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Conceptual_relations"
}
},
{
"@id": "Ontology1378394921444:Obtuse_Angle",
"@type": "owl:Class",
"owl:disjointWith": {
"@id": "Ontology1378394921444:Right_Angle"
},
"rdfs:subClassOf": [
{
"@id": "Ontology1378394921444:Rectilinear_Angle"
},
{
"@id": "_:N458717f3ef3e4c598378257448662e76"
}
]
},
{
"@id": "Ontology1378394921444:latus",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:LATUS"
]
},
{
"@id": "Ontology1378394921444:Right_Triangle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Trilateral_Figure"
}
},
{
"@id": "Ontology1378394921444:hasHyponym",
"@type": "owl:ObjectProperty",
"owl:inverseOf": {
"@id": "Ontology1378394921444:hasHyperonym"
},
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:Lexico-semantic_relations"
}
},
{
"@id": "Ontology1378394921444:Centre_Circle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Punct"
}
},
{
"@id": "Ontology1378394921444:QUADRATUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:triangulum_rectangulum",
"@type": [
"owl:NamedIndividual",
"Ontology1378394921444:TRIANGULUM_RECTANGULUM"
],
"Ontology1378394921444:definition": "Ad haec etiam, trilatera rum figurarum, rectangulum quide triangulum est, quod rectum angulum habet. (El. Eucl. 30)",
"Ontology1378394921444:denotes": {
"@id": "Ontology1378394921444:right_angle"
}
},
{
"@id": "Ontology1378394921444:FLUXUM",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:Curvilinear_Angle",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Plane_Angle"
}
},
{
"@id": "Ontology1378394921444:ANGULUS_OBTUSUS",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:TERM"
}
},
{
"@id": "Ontology1378394921444:causes",
"@type": [
"owl:IrreflexiveProperty",
"owl:ObjectProperty",
"owl:AsymmetricProperty"
],
"Ontology1378394921444:definition": "<SemU1> typically causes <SemU2> as part of its natural constitution",
"rdfs:subPropertyOf": {
"@id": "Ontology1378394921444:constitutive"
}
},
{
"@id": "Ontology1378394921444:Surface",
"@type": "owl:Class",
"rdfs:subClassOf": {
"@id": "Ontology1378394921444:Geometric_Entity"
}
}
]
}
Raw
htaccess
RewriteEngine On
RewriteBase /lexicon/math/
RewriteRule ^[a-zA-Z_]+$ index.html
Raw
index.coffee
container = d3.select '#container'
cb = new Clipboard '.fa-clipboard'
d3.select('#header button')
.on 'click', () ->
str = d3.select('#header input').node().value
d3.select('#header input').node().value = ''
if window.find
found = window.find str
else
alert "Your browser does not support this function!"
d3.select('#header input').node().value = str
d3.json 'data.json', (error, data) ->
prefix = d3.keys(data['@context'])[0]
### FILTERING: only dummy instances are kept
###
list = data['@graph'].filter (d) ->
d3.keys(d).indexOf("#{prefix}:definition") > 0 and "owl:NamedIndividual" in d['@type']
list = list.sort (a,b) -> d3.ascending(a['@id'],b['@id'])
### VISUALIZATION
###
items = container.selectAll('.item')
.data list
items.enter().append('div')
.attr
class: 'item'
items
.html (d) ->
name = d['@id'].split(':')[1]
"<div class='title'><a name='#{name}' href='#{name}'>#{name.replace(/_/g, ' ')}</a></div><div class='definition'>#{d[prefix+':definition']}</div>"
.on 'mouseover', (d) ->
d3.select(this).select('.clipboard').style('color', '#000')
.on 'mouseout', (d) ->
d3.select(this).select('.clipboard').style('color', '#fff')
items.select('.title')
.append('span')
.attr
class: 'clipboard'
.append('i')
.attr
class: 'fa fa-clipboard'
"data-clipboard-text": (d) -> "http://claviusontheweb.it/lexicon/math/#{d['@id'].split(':')[1]}"
title: 'Copy URI to clipboard.'
.on 'click', (d) ->
d3.select(this.parentNode).style('color', 'gray')
### ROUTING
###
id = window.location.pathname.replace('/lexicon/math/', '')
setTimeout( () ->
d3.select('body').classed 'hidden', false
if id isnt ''
y = d3.select("*[name=#{id}]").node().offsetTop
d3.select('body').node().scrollTop = y - 70
, 800)
return
d3.select('body').classed 'hidden', true
Raw
index.css
html, body {
font-family: 'Noto serif', serif;
color: #333333;
height: 100%;
margin: 0;
padding: 0;
}
.hidden {
visibility: hidden;
}
/* HEADER
*/
#header {
height: 50px;
padding: 10px 0px 10px 0px;
position: fixed;
top: 0;
background: #fff;
width: 90%;
border-bottom: 1px solid #eee;
margin-left: 5%;
}
#header input {
width: 40%;
height: 25px;
font-size: 15px;
}
#header button {
width: 60px;
height: 32px;
background: #d0d0d0;
font-size: 15px;
border: 0;
color: #fff;
border-radius: 3px;
cursor: pointer;
}
#header button:hover {
background: #dfdfdf;
}
/* CONTAINER
*/
#container {
width: 90%;
height: 100%;
margin: auto;
margin-top: 80px;
padding-top: 10px;
}
.item {
padding: 7px 0px 7px 0px;
text-align: justify;
}
.title a {
font-size: 18px;
font-weight: bold;
color: #333333;
text-decoration: none;
}
.definition {
color: #777;
}
.clipboard {
color: #fff;
cursor: pointer;
padding-left: 5px;
}
Raw
index.html
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<meta name="description" content="Clavius Lexicon" />
<title>Clavius Lexicon</title>
<link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/font-awesome/4.5.0/css/font-awesome.min.css">
<link href="https://fonts.googleapis.com/css?family=Noto+Serif" rel="stylesheet" type="text/css">
<link type="text/css" href="index.css" rel="stylesheet"/>
<script src="https://cdn.jsdelivr.net/clipboard.js/1.5.5/clipboard.min.js"></script>
<script src="http://d3js.org/d3.v3.min.js"></script>
</head>
<body>
<div id="header">
<input type="text"/>
<button title="Find"><i class="fa fa-search"></i></button>
</div>
<div id="container"></div>
<script src="index.js"></script>
</body>
</html>
Raw
index.js
// Generated by CoffeeScript 1.10.0
(function() {
var cb, container,
indexOf = [].indexOf || function(item) { for (var i = 0, l = this.length; i < l; i++) { if (i in this && this[i] === item) return i; } return -1; };
container = d3.select('#container');
cb = new Clipboard('.fa-clipboard');
d3.select('#header button').on('click', function() {
var found, str;
str = d3.select('#header input').node().value;
d3.select('#header input').node().value = '';
if (window.find) {
found = window.find(str);
} else {
alert("Your browser does not support this function!");
}
return d3.select('#header input').node().value = str;
});
d3.json('data.json', function(error, data) {
var id, items, list, prefix;
prefix = d3.keys(data['@context'])[0];
/* FILTERING: only dummy instances are kept
*/
list = data['@graph'].filter(function(d) {
return d3.keys(d).indexOf(prefix + ":definition") > 0 && indexOf.call(d['@type'], "owl:NamedIndividual") >= 0;
});
list = list.sort(function(a, b) {
return d3.ascending(a['@id'], b['@id']);
});
/* VISUALIZATION
*/
items = container.selectAll('.item').data(list);
items.enter().append('div').attr({
"class": 'item'
});
items.html(function(d) {
var name;
name = d['@id'].split(':')[1];
return "<div class='title'><a name='" + name + "' href='" + name + "'>" + (name.replace(/_/g, ' ')) + "</a></div><div class='definition'>" + d[prefix + ':definition'] + "</div>";
}).on('mouseover', function(d) {
return d3.select(this).select('.clipboard').style('color', '#000');
}).on('mouseout', function(d) {
return d3.select(this).select('.clipboard').style('color', '#fff');
});
items.select('.title').append('span').attr({
"class": 'clipboard'
}).append('i').attr({
"class": 'fa fa-clipboard',
"data-clipboard-text": function(d) {
return "http://claviusontheweb.it/lexicon/math/" + (d['@id'].split(':')[1]);
},
title: 'Copy URI to clipboard.'
}).on('click', function(d) {
return d3.select(this.parentNode).style('color', 'gray');
});
/* ROUTING
*/
id = window.location.pathname.replace('/lexicon/math/', '');
setTimeout(function() {
var y;
d3.select('body').classed('hidden', false);
if (id !== '') {
y = d3.select("*[name=" + id + "]").node().offsetTop;
return d3.select('body').node().scrollTop = y - 70;
}
}, 800);
});
d3.select('body').classed('hidden', true);
}).call(this);
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment