JADE_SL.onto.basic
Classes
Action
Done
Equals
Result
TrueProposition