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 13616-13617 | |
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 13615-13615 | 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 13619-13626 |
|
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 |