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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoftwareAttribute

 Sigma KEE - SoftwareAttribute
SoftwareAttribute(軟件屬性)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1090-1091
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1089-1089 子類 軟件屬性 and RelationalAttribute

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1286-1286 例 在同一主機上複製 OK and 軟件屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1233-1233 例 可重新啟動 and 軟件屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1301-1301 例 可擴展性組合 and 軟件屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1306-1306 例 可擴展性分裂 and 軟件屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1093-1093 子類 計算機路徑屬性 and 軟件屬性
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53716-53716
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53715-53715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 53714-53714


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