Theory documentation:
Defines the basic vocabulary for describing algebraic operators, domains,
and structures such as fields, rings, and groups.
Notes:
- Originally based on the example given as an appendix
to the KIF3.0 manual. Modified to work over classes instead of sets,
to be consistent with the frame-ontology.
Cross Reference Report:
Theories included by Abstract-Algebra:
Frame-Ontology
Theories that include Abstract-Algebra:
Physical-Quantities
No classes defined.
25 relations defined:
Abelian-Group
Abelian-Semigroup
Antisymmetric
Associative
Asymmetric
Binary-Operator-On
Commutative
Commutative-Ring
Distributes
Division-Ring
Field
Group
Identity-Element-For
Integral-Domain
Invertible
Irreflexive
Linear-Order
Linear-Space
Partial-Order
Reflexive
Ring
Semigroup
Symmetric
Transitive
Trichotomizes
No functions defined.
No instances defined.
No classes defined.
All constants that were mentioned were defined.
This document was generated using Ontolingua.
Formatting and translation code was written by
François Gerbaux and Tom Gruber