| Dressing(調味料) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6464-6464 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6463-6463 | 子類 調味料 and Putting |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20415-20415 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20414-20414 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 20413-20413 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 420-431 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6466-6481 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6487-6494 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6175-6195 |
|
|
|
|