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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FileDevice

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 2527-2529
(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 2526-2526 File device is a subclass of device

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 2531-2533


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