From 61b7cd8667fa30588504210925dc748f2cdd4ca7 Mon Sep 17 00:00:00 2001
From: Ruslan Khafizov <ruslan.khafizov@gmail.com>
Date: Sun, 30 Jul 2023 05:57:25 +0800
Subject: [PATCH] Change cellShape from subclass to instance of BinaryPredicate

---
 VirusProteinAndCellPart.kif | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VirusProteinAndCellPart.kif b/VirusProteinAndCellPart.kif
index d79d9a76..12bf719b 100644
--- 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)