Merge pull request #362 from kharus/cellShapePredicate

Change cellShape from subclass to instance of BinaryPredicate
ontologyportal · Jul 30, 2023 · ef2b0a5 · ef2b0a5
2 parents ee8c931 + 61b7cd8
commit ef2b0a5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/VirusProteinAndCellPart.kif b/VirusProteinAndCellPart.kif
@@ -348,7 +348,7 @@ molecules.")
    (instance ?OBJ2 CellNucleus)
    (part ?OBJ2 ?OBJ1)))))
 
-(subclass cellShape BinaryPredicate)
+(instance cellShape BinaryPredicate)
 (subrelation cellShape shape)
 (domainSubclass cellShape 1 Cell)
 (domain cellShape 2 ShapeAttribute)