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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - directoryOf
directoryOf

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 2222-2227
(domain directoryOf 1 ComputerFile) QoSontology.kif 215-215 O argumento numero 1 de directoryOf e' uma instancia de ComputerFile
(domain directoryOf 2 ComputerDirectory) QoSontology.kif 216-216 O argumento numero 2 de directoryOf e' uma instancia de ComputerDirectory
(instance directoryOf BinaryPredicate) QoSontology.kif 214-214 directoryOf e' uma instancia de Predicado Binario

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 2219-2219 filename e' relacionado internamente por SUMO a directoryOf
(termFormat ChineseLanguage directoryOf "的目录") domainEnglishFormat.kif 19728-19728
(termFormat ChineseTraditionalLanguage directoryOf "的目錄") domainEnglishFormat.kif 19727-19727
(termFormat EnglishLanguage directoryOf "directory of") domainEnglishFormat.kif 19726-19726

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


(=>
    (and
        (instance ?Directory ComputerDirectory)
        (instance ?File ComputerFile)
        (directoryOf ?File ?Directory))
    (refers
        (AddressFn ?File) ?Directory))
QoSontology.kif 231-236


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