| appearance as argument number 1 |
|
| (documentation directoryOf EnglishLanguage "(directoryOf ?FILE ?DIRECTORY) means that the ComputerFile ?FILE is in the ComputerDirectory ?DIRECTORY. Note that the directory of a file is a component of the fully qualified name specification given to the relation filename. Note also that the directory does not include the specification of a machine location on the Internet. See filename for more information.") | QoSontology.kif 2227-2232 | |
| (domain directoryOf 1 ComputerFile) | QoSontology.kif 213-213 | |
| (domain directoryOf 2 ComputerDirectory) | QoSontology.kif 214-214 | |
| (instance directoryOf BinaryPredicate) | QoSontology.kif 212-212 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage directoryOf "%2 %n 是 %1 的 directory") | domainEnglishFormat.kif 760-760 | |
| (format ChineseTraditionalLanguage directoryOf "%2 %n 是 %1 的 directory ") | domainEnglishFormat.kif 759-759 | |
| (format EnglishLanguage directoryOf "%2 is %n a directory of %1") | domainEnglishFormat.kif 758-758 | |
| (relatedInternalConcept filename directoryOf) | QoSontology.kif 2224-2224 | |
| (termFormat ChineseLanguage directoryOf "的目录") | domainEnglishFormat.kif 19719-19719 | |
| (termFormat ChineseTraditionalLanguage directoryOf "的目錄") | domainEnglishFormat.kif 19718-19718 | |
| (termFormat EnglishLanguage directoryOf "directory of") | domainEnglishFormat.kif 19717-19717 |
| antecedent |
|
|
| (=> (and (instance ?Directory ComputerDirectory) (instance ?File ComputerFile) (directoryOf ?File ?Directory)) (refers (AddressFn ?File) ?Directory)) |
QoSontology.kif 229-234 |
|
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