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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FileDevice
FileDevice(file device)
blunt_file, file, flat_file, nailfile, rasp, rat-tail_file, round_file, taper_file, wood_file

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 2600-2602
(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 2599-2599 File device is a subclass of device

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


(termFormat ChineseLanguage FileDevice "文件设备") domainEnglishFormat.kif 23670-23670
(termFormat ChineseTraditionalLanguage FileDevice "文件設備") domainEnglishFormat.kif 23669-23669
(termFormat EnglishLanguage FileDevice "file device") domainEnglishFormat.kif 23668-23668

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


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


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