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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImageFile
ImageFile(image file)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1869-1873
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9327-9327
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8535-8535
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9328-9328
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9329-9329
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. QoSontology.kif 1868-1868 Image 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 1470-1470 AudioVisualFile is a subclass of image file
No TPTP formula. May not be expressible in strict first order. Media.kif 1443-1443 DOCFile is a subclass of image file
No TPTP formula. May not be expressible in strict first order. Media.kif 1456-1456 DigitalSignature is a subclass of image file
No TPTP formula. May not be expressible in strict first order. Media.kif 1448-1448 EBookFile is a subclass of image file
No TPTP formula. May not be expressible in strict first order. Media.kif 1435-1435 JPGFile is a subclass of image file
No TPTP formula. May not be expressible in strict first order. Media.kif 1439-1439 PDFFile is a subclass of image file
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1630-1630 Screenshot is a subclass of image file
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29298-29298
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29297-29297
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29296-29296

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2006-2006 The number 1 argument of image resolution is an instance of image file

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


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. ComputerInput.kif 2752-2757
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2821-2826


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