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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FileSystem
FileSystem

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


(documentation FileSystem EnglishLanguage "file system") engineering.kif 1328-1328
(lexicon FileSystem LexNoun "{file system}") engineering.kif 1330-1330 lexicon FileSystem, LexNoun and "{file system}"
(subclass FileSystem Group) engineering.kif 1329-1329 subclass FileSystem and Group

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


(termFormat ChineseLanguage FileSystem "文件系统") domainEnglishFormat.kif 23593-23593 termFormat ChineseLanguage, FileSystem and "文件系统"
(termFormat ChineseTraditionalLanguage FileSystem "文件系統") domainEnglishFormat.kif 23592-23592 termFormat ChineseTraditionalLanguage, FileSystem and "文件系統"
(termFormat EnglishLanguage FileSystem "file system") domainEnglishFormat.kif 23591-23591 termFormat EnglishLanguage, FileSystem and "file system"

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


(=>
    (and
        (instance ?FS FileSystem)
        (member ?M ?FS))
    (instance ?M ComputerFile))		 engineering.kif 1339-1343


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners