The Open Biomedical Ontology (OBO) Foundry initiative is a collaborative ... no type has more than one direct supertype: Theorem 3. ∀AB(disa(A,B).
確定! 回上一頁