search

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs
Other
3 stars 1 forks source link

Predicates as properties #46

Closed Mttbnchtt closed 6 months ago

Mttbnchtt commented 7 months ago

Make predicates also properties and use them to add information to individuals. Example: "Amount of rotation of mixed angle ABA (proof Aristotle)" "Mixed angle ABA (proof Aristotle)".

Mttbnchtt commented 6 months ago

For now, it seems wrong to have predicates that are different than object properties.