|
Class Summary |
| Action |
This class represents the action expression ontological role i.e. |
| BasicOntology |
This class represents an ontology including basic concepts
that are common to a lot of different applications. |
| DonePredicate |
This class represents the done predicate ontological role i.e. |
| FalseProposition |
This class represents the concept of false |
| Not |
This class represents the fact that a predicate is currently false |
| ResultPredicate |
This class represents the result predicate ontological role, i.e. |
| TrueProposition |
This class represents the concept of true |