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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImageFile

Sigma KEE - ImageFile
ImageFile(图像文件)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1863-1867
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9326-9326
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8534-8534
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 9328-9328
No TPTP formula. May not be expressible in strict first order. Media.kif 1427-1427 图像文件电脑文件subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1862-1862 图像文件数字数据subclass

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1466-1466 AudioVisualFile图像文件subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1439-1439 DOCFile图像文件subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1452-1452 DigitalSignature图像文件subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1444-1444 EBookFile图像文件subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1431-1431 JPGFile图像文件subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1435-1435 PDFFile图像文件subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1601-1601 Screenshot图像文件subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29307-29307
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29306-29306
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29305-29305

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2000-2000 图像解析度 的 1 数量 是 图像文件instance

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


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. ComputerInput.kif 2724-2729
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2793-2798


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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