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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DivisionFn

Sigma KEE - PlantWicker
PlantWicker

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


(disjoint PlantWicker SyntheticWicker) Mid-level-ontology.kif 4591-4591
(roomTempState PlantWicker Solid) Mid-level-ontology.kif 31436-31436
(subclass PlantWicker PlantSubstance) Mid-level-ontology.kif 4594-4594
(subclass PlantWicker Tissue) Mid-level-ontology.kif 4593-4593
(subclass PlantWicker Wicker) Mid-level-ontology.kif 4592-4592

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


(partition Wicker PlantWicker SyntheticWicker) Mid-level-ontology.kif 4585-4585
(termFormat EnglishLanguage PlantWicker "plant wicker") domainEnglishFormat.kif 65329-65329


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