@prefix agrovoc: <http://aims.fao.org/aos/agrovoc/> .
@prefix skosxl: <http://www.w3.org/2008/05/skos-xl#> .
@prefix dc: <http://purl.org/dc/terms/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix void: <http://rdfs.org/ns/void#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix ns0: <http://art.uniroma2.it/ontologies/vocbench#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

agrovoc:xl_es_1333007958719
  a skosxl:Label ;
  dc:created "2012-03-29T15:59:18Z"^^xsd:dateTime ;
  dc:isReplacedBy agrovoc:xl_es_09ac21fd ;
  dc:modified "2024-07-03T16:11:42Z"^^xsd:dateTime ;
  void:inDataset <http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc> ;
  skos:notation "330831"^^agrovoc:AgrovocCode ;
  skosxl:literalForm "Ciencias formales"@es .

agrovoc:xDef_96dd677f
  rdf:value "A formal science is an area of study that uses formal systems to generate knowledge such as in Mathematics and Computer Science. Formal sciences are important subjects because all of quantitative science depends on them."@en ;
  ns0:hasSource "Washington and Lee University https://my.wlu.edu/the-sciences-at-wandl/formal-sciences" ;
  dc:created "2023-06-12T16:27:51"^^xsd:dateTime .

agrovoc:xl_es_09ac21fd
  a skosxl:Label ;
  dc:created "2024-07-03T16:11:42Z"^^xsd:dateTime ;
  void:inDataset <http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc> ;
  skos:notation "330831"^^agrovoc:AgrovocCode ;
  skosxl:literalForm "Ciencia formal"@es .

agrovoc:xl_pt_1333008081778
  a skosxl:Label ;
  dc:created "2012-03-29T16:01:21Z"^^xsd:dateTime ;
  dc:modified "2021-06-16T21:24:42Z"^^xsd:dateTime ;
  void:inDataset <http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc> ;
  skos:notation "330831"^^agrovoc:AgrovocCode ;
  skosxl:literalForm "ciências formais"@pt .

agrovoc:xl_en_1299517160602
  a skosxl:Label ;
  dc:created "2008-09-25T00:00:00Z"^^xsd:dateTime ;
  dc:modified "2012-03-29T16:02:18Z"^^xsd:dateTime ;
  void:inDataset <http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc> ;
  skos:notation "330831"^^agrovoc:AgrovocCode ;
  skosxl:literalForm "formal sciences"@en .

agrovoc:xl_fr_1333008031192
  a skosxl:Label ;
  dc:created "2012-03-29T16:00:31Z"^^xsd:dateTime ;
  dc:modified "2021-05-24T17:34:42Z"^^xsd:dateTime ;
  void:inDataset <http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc> ;
  skos:notation "330831"^^agrovoc:AgrovocCode ;
  skosxl:literalForm "science formelle"@fr .

<http://agrotermos.dados.embrapa.br/agrotermos>
  a owl:owOntology, skos:ConceptScheme ;
  skos:prefLabel "Agrotermos"@es, "Agrotermos"@en, "Agrotermos"@pt-BR .

skos:prefLabel rdfs:comment "A resource has no more than one value of skos:prefLabel per language tag."@en .
agrovoc:c_330831
  a skos:Concept ;
  dc:created "2008-09-25T00:00:00Z"^^xsd:dateTime ;
  dc:modified "2026-09-30T14:05:07"^^xsd:dateTime ;
  void:inDataset <http://aims.fao.org/aos/agrovoc/void.ttl#Agrovoc> ;
  skos:broader agrovoc:c_37989 ;
  skos:closeMatch <http://dbpedia.org/resource/Formal_sciences> ;
  skos:definition agrovoc:xDef_96dd677f ;
  skos:hiddenLabel "Ciencias formales"@es ;
  skos:inScheme <http://agrotermos.dados.embrapa.br/agrotermos> ;
  skos:narrower agrovoc:c_4649, agrovoc:c_330832 ;
  skos:prefLabel "science formelle"@fr, "formal sciences"@en, "ciências formais"@pt, "Ciencia formal"@es ;
  skosxl:hiddenLabel agrovoc:xl_es_1333007958719 ;
  skosxl:prefLabel agrovoc:xl_fr_1333008031192, agrovoc:xl_en_1299517160602, agrovoc:xl_pt_1333008081778, agrovoc:xl_es_09ac21fd .

agrovoc:c_330832
  a skos:Concept ;
  skos:broader agrovoc:c_330831 ;
  skos:prefLabel "lógica"@pt, "Lógica"@es, "logic"@en, "logique"@fr, "Lógica"@pt-BR .

agrovoc:c_4649
  a skos:Concept ;
  skos:broader agrovoc:c_330831 ;
  skos:prefLabel "Matemática"@pt, "mathematics"@en, "Matemática"@es, "mathématique"@fr, "Matemática"@pt-BR .

agrovoc:c_37989
  a skos:Concept ;
  skos:narrower agrovoc:c_330831 ;
  skos:prefLabel "Ciência"@pt-BR, "Ciência"@pt, "science"@fr, "Ciencia"@es, "sciences"@en .