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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoftwareInstallation

Sigma KEE - SoftwareInstallation
SoftwareInstallation(安装)

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


No TPTP formula. May not be expressible in strict first order. engineering.kif 1320-1321
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11226-11226
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11225-11225
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11223-11223
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11224-11224
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3591-3591 安装数据传输subclass
No TPTP formula. May not be expressible in strict first order. engineering.kif 1324-1324 安装IT流程subclass

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3814-3814 软体更新安装subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30235-30235
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30234-30234
No TPTP formula. May not be expressible in strict first order. engineering.kif 1323-1323
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30233-30233

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3593-3601

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3603-3617


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