add relations between concepts

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs

Other

3 stars 1 forks source link

add relations between concepts #69

Closed Mttbnchtt closed 4 months ago

Mttbnchtt commented 4 months ago

Add "specializes" relation between concepts. Also fix cases where I used "logically supports" improperly. Also add "refers" relation between concepts.

Mttbnchtt commented 4 months ago

Completed.