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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WritingDevice

 Sigma KEE - WritingDevice
WritingDevice(寫作設備)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1991-1992
No TPTP formula. May not be expressible in strict first order. pictureList.kif 145-145
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1990-1990 子類 寫作設備 and Device

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1816-1816 子類 鉛筆 and 寫作設備
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63569-63569
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63568-63568
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63567-63567

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


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


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