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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SecondaryColor
SecondaryColor(二等色)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19375-19376
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2350-2350
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19374-19374 二等色 是 颜色属性 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19405-19405 棕色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19397-19397 灰色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19414-19414 绿色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19409-19409 橙色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19401-19401 粉紅 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19419-19419 紫色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19394-19394 紫罗兰色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51765-51765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51764-51764
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51763-51763

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


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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