|
|
   Flour
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1472-1474 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 438-438 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31410-31410 | roomTempState Flour and Solid |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1470-1470 | Flour est une sous-classe de FoodFromPlant |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1471-1471 | Flour est une sous-classe de Powder |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1469-1469 | Flour est une sous-classe de PreparedFood |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1543-1543 | CornFlour est une sous-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1537-1537 | RiceFlour est une sous-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1532-1532 | RyeFlour est une sous-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1549-1549 | TapiocaStarch est une sous-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1489-1489 | WheatFlour est une sous-classe de Flour |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24296-24296 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24295-24295 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24294-24294 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1485-1487 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1476-1483 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1609-1616 |
|
|
|
