<https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic_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/Term1.arithmetic_commutative> <https://w3id.org/framester/framenet/tbox/FE_name> "Term1"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic_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/Term1.arithmetic_commutative> <https://w3id.org/framester/framenet/tbox/definition> "<def-root>The grammatically more prominent number involved in a commutative operation.</def-root>"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic_commutative> <https://w3id.org/framester/framenet/tbox/hasSuperFE> <https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic> .
<https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic_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/Term1.arithmetic_commutative> <https://w3id.org/framester/framenet/tbox/FE_coreType> "Core"^^<http://www.w3.org/2001/XMLSchema#string> .
<https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic_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/Term1.arithmetic_commutative> <https://w3id.org/framester/framenet/tbox/inCoreSet> <https://w3id.org/framester/framenet/abox/FEcoreSet/arithmetic_commutative_coreSet1> .
<https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic_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/Term1.arithmetic_commutative> <https://w3id.org/framester/schema/subsumedUnder> <https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic> .
<https://w3id.org/framester/framenet/abox/fe/Term1.arithmetic_commutative> <http://www.w3.org/2000/01/rdf-schema#domain> <https://w3id.org/framester/framenet/abox/frame/Arithmetic_commutative> .