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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoftwareAttribute
SoftwareAttribute

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


(documentation SoftwareAttribute EnglishLanguage "The class of all attributes that are specific to SoftwareSystems.") QoSontology.kif 1196-1197
(subclass SoftwareAttribute RelationalAttribute) QoSontology.kif 1195-1195

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


(instance ReplicationsOnSameHostOK SoftwareAttribute) QoSontology.kif 1392-1392
(instance Restartable SoftwareAttribute) QoSontology.kif 1339-1339
(instance ScalabilityCombining SoftwareAttribute) QoSontology.kif 1407-1407
(instance ScalabilitySplitting SoftwareAttribute) QoSontology.kif 1412-1412
(subclass ComputerPathAttribute SoftwareAttribute) QoSontology.kif 1199-1199
(termFormat ChineseLanguage SoftwareAttribute "软件属性") domainEnglishFormat.kif 53749-53749
(termFormat ChineseTraditionalLanguage SoftwareAttribute "軟件屬性") domainEnglishFormat.kif 53748-53748
(termFormat EnglishLanguage SoftwareAttribute "software attribute") domainEnglishFormat.kif 53747-53747


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