more pictures...
| Tasting(tasting)
more pictures... | | aftertaste, finish, flavor, flavour, gustative, gustatorial, gustatory, gustatory_perception, gustatory_sensation, nip, relish, sapidity, savor, savour, smack, tang, taste, taste_perception, taste_sensation, tasting |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3315-3316 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13570-13571 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8040-8040 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8041-8041 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8044-8044 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8039-8039 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8037-8037 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8042-8042 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6914-6914 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8045-8045 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8038-8038 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8043-8043 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13569-13569 | Tasting is a subclass of perception |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1219-1219 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1659-1659 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 897-897 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 430-430 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 433-433 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2581-2581 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 849-849 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 435-435 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 469-469 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 918-918 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 434-434 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13573-13580 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2027-2027 | Loss of taste is a subclass of impairment in tasting |
|
|
|