PropositionRelation

Classification of the relationship between two propositions. Used by the Revise module to determine how to handle new propositions.

Entries

Link copied to clipboard

Propositions express the same information - should be merged

Link copied to clipboard

Propositions are related but not identical - may need revision

Link copied to clipboard

Propositions are unrelated - new proposition stored separately

Link copied to clipboard

Propositions contradict each other - confidence adjustment needed

Link copied to clipboard

New proposition generalizes or abstracts existing ones - stored as new

Properties

Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard

Returns the enum constant of this type with the specified name. The string must match exactly an identifier used to declare an enum constant in this type. (Extraneous whitespace characters are not permitted.)

Link copied to clipboard

Returns an array containing the constants of this enum type, in the order they're declared.