MealPlanModifiedAmerican
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5267-5268 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5265-5265 | Cove est une sous-classe de Inlet |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17658-17658 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17657-17657 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 17656-17656 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5270-5274 |