flams_ontology::rdf::ontologies::ulo2

Constant PROPOSITION

pub const PROPOSITION: NamedNodeRef<'_>;

Available on crate feature rdf only.

Expand description

http://mathhub.info/ulo#proposition