<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/FE_coreType> "Core" .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/FE_coreType> "Core"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/schema/subsumedUnder> <https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2002/07/owl#ObjectProperty> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> <https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/hasSuperFE> <https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/requires> <https://w3id.org/framester/framenet/abox/fe/Term_2.arithmetic_non-commutative> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <https://w3id.org/framester/framenet/tbox/FrameElement> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/hasFERelation> <https://w3id.org/framester/framenet/abox/fe/Term_2.arithmetic_non-commutative> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/FE_abbrev> "t1" .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/FE_name> "Term_1" .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/FE_name> "Term_1"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/2000/01/rdf-schema#label> "Term_1" .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/2000/01/rdf-schema#domain> <https://w3id.org/framester/framenet/abox/frame/Arithmetic_non-commutative> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/definition> "<def-root><fen>Term_1</fen> is the first operand in the non-commutative arithmetic that is modified by <fen>Term_2</fen> (e.g. subtracted or divided by <fen>Term_2</fen>).</def-root>"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/FE_cDate> "2010-03-08T13:40:54+01:00"^^<http://www.w3.org/2001/XMLSchema#dateTime> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/2000/01/rdf-schema#range> <http://www.w3.org/2002/07/owl#Thing> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/definition> "Term_1 is the first operand in the non-commutative arithmetic that is modified by Term_2 (e.g. subtracted or divided by Term_2)."@en .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/frameElementOf> <https://w3id.org/framester/framenet/abox/frame/Arithmetic_non-commutative> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/2000/01/rdf-schema#domain> <https://w3id.org/framester/framenet/abox/frame/Arithmetic> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/FE_ID> "13687"^^<http://www.w3.org/2001/XMLSchema#integer> .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/2000/01/rdf-schema#comment> "Term_1 is the first operand in the non-commutative arithmetic that is modified by Term_2 (e.g. subtracted or divided by Term_2)."@en .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <https://w3id.org/framester/framenet/tbox/FE_cBy> "AnW" .
<https://w3id.org/framester/framenet/abox/fe/Term_1.arithmetic_non-commutative> <http://www.w3.org/2002/07/owl#sameAs> <http://premon.fbk.eu/resource/fn17-arithmetic_non-commutative@term_1> .