No TPTP formula. May not be expressible in strict first order. |
Food.kif 3286-3286 |
BlueCheese e' uma sub-classe de Cheese |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3280-3280 |
FirmCheese e' uma sub-classe de Cheese |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3265-3265 |
FreshCheese e' uma sub-classe de Cheese |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3275-3275 |
SemiFirmCheese e' uma sub-classe de Cheese |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3270-3270 |
SoftRipenedCheese e' uma sub-classe de Cheese |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14262-14262 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14261-14261 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14260-14260 |
|