The OntologyTerm class supports this by implementing a getXrefs method which returns cross references themselves as OntologyTerms, along with a predicate, defined in libSBML, that indicates the relationship between them.
Presumably what truth conditions sentences of a natural language have is a contingent matter, so a truth predicate defined in this way cannot be used to give a theory of meaning for them.
A predicate is defined for measuring the merging criteria and the algorithm makes greedy decisions to produce the final segmentation.
generally, to observe a protocol whereby objects which are equivalent or have equivalent names under some predicate defined by the protocol are mapped to a single canonical object.
And this predicate, defined this way, applies to the water in the bucket if and only if it is rotating, according to Newtonian mechanics formulated in terms of the geometry of Galilean spacetime; it is the mechanically relevant sense of the word in this theory.
Each property of a protocol is a predicate which is defined by the field name in that protocol header, the operator and value of that field.
For this purpose, an order < over the domain elements (usually provided by common ASP solvers) is used together with a few helper predicates defined in the program π < below; in fact, predicates lt / 2, inf / 1, succ / 2 and sup / 1 denote lower than, infimum, successor and supremum of the order <.
and a predicate iseven can be defined using the integer remainder operator, %.
They enthusiastically sing a song diagramming sentences, but when asked to define a "predicate," one of the items they have just identified, the children are at a loss.
which is impredicative: we have defined a predicate L by an existential quantification over all predicates.
Instead of an operator, it allows us to define a predicate D ⌜A⌝) by Tr ⌜A⌝) ∨ Tr(⌜¬A⌝).
