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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoundAttribute

 Sigma KEE - SoundAttribute
SoundAttribute(attribut sonore)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3319-3319
No TPTP formula. May not be expressible in strict first order. Merge.kif 13646-13647
No TPTP formula. May not be expressible in strict first order. Merge.kif 13642-13642 Attribut sonore est une sous-classe de attribute de perception

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13649-13649 Audible est une instance de attribut sonore
No TPTP formula. May not be expressible in strict first order. Merge.kif 13650-13650 Inaudible est une instance de attribut sonore
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19461-19461 Stressed est une instance de attribut sonore
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1255-1255
No TPTP formula. May not be expressible in strict first order. english_format.kif 1731-1731
No TPTP formula. May not be expressible in strict first order. french_format.kif 933-933
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 468-468
No TPTP formula. May not be expressible in strict first order. terms-it.txt 471-471
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2617-2617
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 885-885
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 473-473
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 507-507
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 954-954
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 472-472

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13727-13734
No TPTP formula. May not be expressible in strict first order. Merge.kif 13632-13639


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