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 170-173
No TPTP formula. May not be expressible in strict first order. engineering.kif 1340-1340
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 169-169 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 1458-1458 AudioFile is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 175-175 Computer directory is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. Media.kif 1431-1431 Image file is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. Media.kif 1418-1418 MultimediaFile is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. Media.kif 1509-1509 SoftwareFile is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. Media.kif 1477-1477 XMLFile is a subclass of computer file
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16293-16293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16292-16292
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16291-16291

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 221-221 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 213-213 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 634-634 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 2789-2800
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 229-234

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1350-1354
No TPTP formula. May not be expressible in strict first order. engineering.kif 1343-1347
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1875-1880
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1887-1892
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 855-860


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