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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ColorAttribute

 Sigma KEE - ColorAttribute
ColorAttribute

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3945-3946
No TPTP formula. May not be expressible in strict first order. Merge.kif 17741-17742
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9091-9091
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8428-8428
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9092-9092
No TPTP formula. May not be expressible in strict first order. Merge.kif 17739-17739 子類 ColorAttribute and VisualAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17763-17763 例 單色 and ColorAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17784-17784 例 多色 and ColorAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17744-17744 子類 PrimaryColor and ColorAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19402-19402 子類 二等色 and ColorAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19397-19397 子類 光譜顏色 and ColorAttribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1252-1252
No TPTP formula. May not be expressible in strict first order. english_format.kif 1725-1725
No TPTP formula. May not be expressible in strict first order. french_format.kif 930-930
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 464-464
No TPTP formula. May not be expressible in strict first order. terms-it.txt 467-467
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2614-2614
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 882-882
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 469-469
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 503-503
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 951-951
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 468-468

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19387-19387 域 color, 2 and ColorAttribute

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19389-19395

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12682-12696
No TPTP formula. May not be expressible in strict first order. Economy.kif 4384-4399
No TPTP formula. May not be expressible in strict first order. Merge.kif 13571-13579
No TPTP formula. May not be expressible in strict first order. Merge.kif 13588-13596
No TPTP formula. May not be expressible in strict first order. Merge.kif 17789-17799


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