| (=> (instance ?S Seafood) (exists (?DA ?F) (and (instance ?DA (DeadFn ?F)) (part ?S ?DA) (subclass ?F Fish)))) |
Food.kif 3377-3383 |
|
| (subclass Fish ColdBloodedVertebrate) | Merge.kif 14588-14588 | Peixe e' uma sub-classe de Vertebrado de Sangue Frio |
| (subclass Cod Fish) | Food.kif 2535-2535 | Cod e' uma sub-classe de Peixe |
| (subclass Salmon Fish) | Food.kif 2536-2536 | Salmon e' uma sub-classe de Peixe |
| (subclass Skate Fish) | Food.kif 3403-3403 | Skate e' uma sub-classe de Peixe |
| (subclass Tuna Fish) | Food.kif 3518-3518 | Tuna e' uma sub-classe de Peixe |
| (subclass OrnamentalFish Fish) | Economy.kif 4926-4926 | OrnamentalFish e' uma sub-classe de Peixe |
|
|