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



KB Term:  Term intersection
English Word: 

  filename

Sigma KEE - filename
filename

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


(instance filename BinaryPredicate) QoSontology.kif 2327-2327 filename is an instance of binary predicate
(instance filename PartialValuedRelation) QoSontology.kif 2328-2328 filename is an instance of partial valued relation
(subrelation filename names) QoSontology.kif 2329-2329 filename is a subrelation of names
(domain filename 1 SymbolicString) QoSontology.kif 2330-2330 The number 1 argument of filename is an instance of symbolic string
(domain filename 2 DigitalData) QoSontology.kif 2331-2331 The number 2 argument of filename is an instance of digital data
(documentation filename EnglishLanguage "A relation between a SymbolicString and an instance of DigitalData that specified the filename of the data on a particular computer file system. This relation is for a fully qualified filename including a device specification such as a drive letter or name, a directory, and a name. This can include names that are aliases for a different physical file location. It does not include the specification of a particular machine on a network, such as an internet domain name, although it may reference a device specification that ultimately resolves to a storage device on a network.") QoSontology.kif 2333-2341 The number 2 argument of filename is an instance of digital data
(relatedInternalConcept filename directoryOf) QoSontology.kif 2343-2343 filename is internally related to directory of

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners