(=> (instance ?CLASS Class) (subclass ?CLASS Entity)) |
Merge.kif 828-830 | |
(subclass Physical Entity) | Merge.kif 832-832 | Entit�Concreta è una sottoclasse di Entit� |
(subclass Abstract Entity) | Merge.kif 1669-1669 | Astratto è una sottoclasse di Entit� |