Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OlfactoryAttribute

 Sigma KEE - OlfactoryAttribute
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 17639-17640
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 17638-17638 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 13560-13567


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners