FOODON | Properties | AgroPortal

ID	http://purl.obolibrary.org/obo/RO_0002579 http://purl.obolibrary.org/obo/RO_0002579 https://agroportal.lirmm.fr/ontologies/FOODON/RO_0002579 Loading
Type	http://www.w3.org/2002/07/owl#AnnotationProperty
Preferred name	is indirect form of
Definitions	relation p is the indirect form of relation q iff p is a subPropertyOf q, and there exists some p' such that p' is the direct form of q, p' o p' -> p, and forall x,y : x q y -> either (1) x p y or (2) x p' y

obo_purl:IAO_0000115	relation p is the indirect form of relation q iff p is a subPropertyOf q, and there exists some p' such that p' is the direct form of q, p' o p' -> p, and forall x,y : x q y -> either (1) x p y or (2) x p' y
rdf:type	http://www.w3.org/2002/07/owl#AnnotationProperty Loading
rdfs:label	is indirect form of