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 17637-17638
No TPTP formula. May not be expressible in strict first order. Merge.kif 17636-17636 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 17660-17660 Olfactory attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 13618-13618 Sound attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17649-17649 Taste attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17784-17784 Texture attribute is a subclass of perceptual attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17664-17664 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 17640-17647


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