@prefix isq: <https://w3id.org/standards/isq/ontologies/core/> .
@prefix smart: <https://example.org/smart-sdu/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .

<isq:t2-18.12>
  a isq:Entry ;
  rdf:type isq:MathConcept ;
  rdf:type smart:TermEntry ;
  dcterms:identifier "2-18.12" ;
  skosxl:prefLabel "product of vectors"@en ;
  skosxl:altLabel "bb(ii(a)) xx bb(ii(b))"@en ;
  skos:definition "vector product of stem:[bb(ii(a))] and stem:[bb(ii(b))]"@en ;
  smart:hasBindingnessType "bindingness-type:normative" ;
  dcterms:isPartOf <isq:part-2-18> ;
  skos:note "The coordinates, in a right-handed Cartesian coordinate system, are\n\nstem:[(bb(ii(a)) xx bb(ii(b)))_x = a_y b_z - a_z b_y]\n\nstem:[(bb(ii(a)) xx bb(ii(b)))_y = a_z b_x - a_x b_z]\n\nstem:[(bb(ii(a)) xx bb(ii(b)))_z = a_x b_y - a_y b_x]\n\nstem:[(bb(ii(a)) xx bb(ii(b)))_i = sum_j sum_k varepsilon_(ijk) a_j b_k]\n\nSee <<t2-18.10>>.\n"@en ;
  iso:urn <urn:iso:std:iso:80000:-2:ed-2:en:item:2-18.12> .