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 1339-1339
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 16225-16225
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16224-16224
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 16223-16223

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 2772-2783
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 1349-1353
No TPTP formula. May not be expressible in strict first order. engineering.kif 1342-1346
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2698-2703
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1861-1866
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2790-2795
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1873-1878
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners