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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerceptualAttribute

Sigma KEE - PerceptualAttribute
PerceptualAttribute(perceptual attribute)cause_to_be_perceived, distasteful, fruity, garlicky, hungrily, impalpable, nettle, palpable, perceptible, ravenously, tangible, unsavory, unsavoury, urticate

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3935-3936
No TPTP formula. May not be expressible in strict first order. Merge.kif 17615-17616
No TPTP formula. May not be expressible in strict first order. Merge.kif 17614-17614 Perceptual attribute is a subclass of relational attribute

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Dining.kif 236-236 Braille is an instance of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17638-17638 Olfactory attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 13596-13596 Sound attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17627-17627 Taste attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17762-17762 Texture attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17642-17642 Visual attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1248-1248
No TPTP formula. May not be expressible in strict first order. english_format.kif 1717-1717
No TPTP formula. May not be expressible in strict first order. french_format.kif 926-926
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 460-460
No TPTP formula. May not be expressible in strict first order. terms-it.txt 463-463
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2610-2610
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 878-878
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 499-499
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 947-947
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 464-464

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 17618-17625


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