No TPTP formula. May not be expressible in strict first order. | Food.kif 3377-3383 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14566-14566 | Fish is a subclass of cold blooded vertebrate |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2535-2535 | Cod is a subclass of fish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 2536-2536 | Salmon is a subclass of fish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3403-3403 | Skate is a subclass of fish |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3518-3518 | Tuna is a subclass of fish |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4926-4926 | Ornamental fish is a subclass of fish |