JSON

first order logic expression

Go to external page http://purl.obolibrary.org/obo/IAO_0000426

Property information

An assertion that holds between an OWL Object Property and a string or literal, where the value of the string or literal is a Common Logic sentence of collection of sentences that define the Object Property.

editor preferred term

first order logic expression

term editor

PERSON:Alan Ruttenberg

Property relations