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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SecondaryColor

 Sigma KEE - SecondaryColor
SecondaryColor(二等色)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19376-19377
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 19375-19375 二等色 是 颜色属性 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19406-19406 棕色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19398-19398 灰色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19415-19415 绿色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19410-19410 橙色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19402-19402 粉紅 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19420-19420 紫色 是 二等色 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19395-19395 紫罗兰色 是 二等色 的 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 19379-19392


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