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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EnvironmentSoftwareAttribute

 Sigma KEE - EnvironmentSoftwareAttribute
EnvironmentSoftwareAttribute(环境软件属性)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 447-457
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10966-10966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10004-10004
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 446-446 环境软件属性 是 关联属性 的 subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22294-22294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22293-22293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22292-22292

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 462-462 环境属性 的 2 数量 是 环境软件属性 的 instance


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