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


KB Term:  Term intersection
English Word: 

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

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


(format EnglishLanguage filename "the filename of %2 is %1") domainEnglishFormat.kif 3430-3430
(format ChineseTraditionalLanguage filename "%2 的 filename 是 %1 ") domainEnglishFormat.kif 3431-3431
(format ChineseLanguage filename "%2 的 filename 是 %1 ") domainEnglishFormat.kif 3432-3432
(termFormat EnglishLanguage filename "filename") domainEnglishFormat.kif 65842-65842


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners