Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   InternalDigitalDataStorageDevice
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FileSystem EnglishLanguage "file system") | engineering.kif 1759-1759 | |
| (subclass FileSystem Group) | engineering.kif 1760-1760 | File system is a subclass of group |
| (lexicon FileSystem LexNoun "{file system}") | engineering.kif 1761-1761 | File system is a subclass of group |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?FS FileSystem) (member ?M ?FS)) (instance ?M ComputerFile)) |
engineering.kif 1769-1773 | If X is an instance of file system and Y is a member of X, then Y is an instance of computer file |
|