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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SoftwareAttribute

appearance as argument number 1

(documentation SoftwareAttribute EnglishLanguage "The class of all attributes that are specific to SoftwareSystems.") QoSontology.kif 1090-1091
(subclass SoftwareAttribute RelationalAttribute) QoSontology.kif 1089-1089

appearance as argument number 2

(instance ReplicationsOnSameHostOK SoftwareAttribute) QoSontology.kif 1286-1286
(instance Restartable SoftwareAttribute) QoSontology.kif 1233-1233
(instance ScalabilityCombining SoftwareAttribute) QoSontology.kif 1301-1301
(instance ScalabilitySplitting SoftwareAttribute) QoSontology.kif 1306-1306
(subclass ComputerPathAttribute SoftwareAttribute) QoSontology.kif 1093-1093
(termFormat ChineseLanguage SoftwareAttribute "软件属性") domainEnglishFormat.kif 53700-53700
(termFormat ChineseTraditionalLanguage SoftwareAttribute "軟件屬性") domainEnglishFormat.kif 53699-53699
(termFormat EnglishLanguage SoftwareAttribute "software attribute") domainEnglishFormat.kif 53698-53698

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