FrameIT
MMTURICollection Class Reference

Public Attributes

string Point = "http://mathhub.info/MitM/core/geometry?3DGeometry?point"
 
string Tuple = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple"
 
string LineType = "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type"
 
string LineOf = "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf"
 
string OnLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine"
 
string Ded = "http://mathhub.info/MitM/Foundation?Logic?ded"
 
string Eq = "http://mathhub.info/MitM/Foundation?Logic?eq"
 
string Metric = "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric"
 
string Angle = "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between"
 
string Sketch = "http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch"
 
string RealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit"
 

Member Data Documentation

◆ Angle

string MMTURICollection.Angle = "http://mathhub.info/MitM/core/geometry?Geometry/Common?angle_between"

◆ Ded

string MMTURICollection.Ded = "http://mathhub.info/MitM/Foundation?Logic?ded"

◆ Eq

string MMTURICollection.Eq = "http://mathhub.info/MitM/Foundation?Logic?eq"

◆ LineOf

string MMTURICollection.LineOf = "http://mathhub.info/MitM/core/geometry?Geometry/Common?lineOf"

◆ LineType

string MMTURICollection.LineType = "http://mathhub.info/MitM/core/geometry?Geometry/Common?line_type"

◆ Metric

string MMTURICollection.Metric = "http://mathhub.info/MitM/core/geometry?Geometry/Common?metric"

◆ OnLine

string MMTURICollection.OnLine = "http://mathhub.info/MitM/core/geometry?Geometry/Common?onLine"

◆ Point

string MMTURICollection.Point = "http://mathhub.info/MitM/core/geometry?3DGeometry?point"

◆ RealLit

string MMTURICollection.RealLit = "http://mathhub.info/MitM/Foundation?RealLiterals?real_lit"

◆ Sketch

string MMTURICollection.Sketch = "http://mathhub.info/MitM/Foundation?InformalProofs?proofsketch"

◆ Tuple

string MMTURICollection.Tuple = "http://gl.mathhub.info/MMT/LFX/Sigma?Symbols?Tuple"

The documentation for this class was generated from the following file: