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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FileDevice
FileDevice

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


(documentation FileDevice EnglishLanguage "A Device whose purpose is to make something smoother. For example, a nail file is used to even out the tips of one's finger nails.") Mid-level-ontology.kif 2534-2536
(externalImage FileDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ b/ ba/ Nagelfeile_fcm.jpg/ 75px-Nagelfeile_fcm.jpg") pictureList.kif 1112-1112
(subclass FileDevice Device) Mid-level-ontology.kif 2533-2533 FileDeviceデバイスsubclass では %n

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


(termFormat ChineseLanguage FileDevice "文件设备") domainEnglishFormat.kif 23654-23654
(termFormat ChineseTraditionalLanguage FileDevice "文件設備") domainEnglishFormat.kif 23653-23653
(termFormat EnglishLanguage FileDevice "file device") domainEnglishFormat.kif 23652-23652

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


(=>
    (instance ?DEVICE FileDevice)
    (capability SurfaceChange instrument ?DEVICE))
Mid-level-ontology.kif 2538-2540


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