Object Property: hasProof
http://www.inter2geo.eu/2008/ontology/GeoSkills#hasProof
Domains
Theorem
Ranges
Proof
created with
OWLDoc