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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PerceptualAttribute

 Sigma KEE - PerceptualAttribute
PerceptualAttribute

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 子類 PerceptualAttribute and RelationalAttribute

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 236-236 例 Braille and PerceptualAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17660-17660 子類 OlfactoryAttribute and PerceptualAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 13618-13618 子類 SoundAttribute and PerceptualAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17649-17649 子類 TasteAttribute and PerceptualAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17784-17784 子類 紋理屬性 and PerceptualAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17664-17664 子類 VisualAttribute and PerceptualAttribute
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