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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wicker

 Sigma KEE - Wicker
Wicker(条编材料)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4587-4588
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4590-4590 条编材料 详尽无遗地 partition 成 PlantWicker 和 SyntheticWicker
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31403-31403 roomTempState 条编材料 and 固体
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4589-4589 条编材料 是 物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4597-4597 PlantWicker 是 条编材料 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4600-4600 SyntheticWicker 是 条编材料 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64372-64372
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64373-64373
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64371-64371

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4500-4502
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4607-4620


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