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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerFile
ComputerFile(computer file)ASCII_text_file, computer_file, document, text_file

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 172-175
No TPTP formula. May not be expressible in strict first order. engineering.kif 1341-1341
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 171-171 Computer file is a subclass of digital data

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1454-1454 Audio file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 177-177 Computer directory is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. Media.kif 1427-1427 Image file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. Media.kif 1414-1414 Multimedia file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. Media.kif 1519-1519 Software file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. Media.kif 1473-1473 XML file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16302-16302
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16301-16301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16300-16300

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 223-223 The number 1 argument of address is an instance of computer file
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 215-215 The number 1 argument of directory of is an instance of computer file
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 636-636 The number 1 argument of program copy is an instance of computer file

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2761-2772
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 231-236

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. engineering.kif 1351-1355
No TPTP formula. May not be expressible in strict first order. engineering.kif 1344-1348
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1846-1851
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1858-1863
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 826-831


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