| (=> (instance ?CLASS Class) (subclass ?CLASS Entity)) |
Merge.kif 828-830 | |
| (subclass Physical Entity) | Merge.kif 832-832 | Physical ist eine teilkategorie von Entity |
| (subclass Abstract Entity) | Merge.kif 1669-1669 | Abstract ist eine teilkategorie von Entity |
|
|