OlfactoryAttribute(olfactory attribute) | B.O., acridity, alliaceous, aroma, aromatic, beery, bilgy, body_odor, body_odour, bouquet, fetid, fetidness, fetor, foetid, foetor, foul, foul-smelling, foulness, fragrance, fragrancy, fragrant, frowsty, fume, funky, fusty, gamey, gamy, high, ill-scented, ill-smelling, incense, inodorous, jumentous, malodor, malodorous, malodorousness, malodour, malodourous, mephitic, mephitis, miasmic, musk, muskiness, musky, musty, niff, niffy, noisome, odor, odoriferous... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3939-3939 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17661-17662 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8627-8627 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17660-17660 | Olfactory attribute is a subclass of perceptual attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1250-1250 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1721-1721 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 928-928 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 462-462 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 465-465 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2612-2612 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 880-880 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 501-501 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 949-949 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 466-466 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13582-13589 |
|