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

KB Term:  Term intersection
English Word: 

Sigma KEE - VersionAttribute
VersionAttribute(version atribute)

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


(instance VersionAttribute RelationalAttribute) ComputingBrands.kif 3790-3790 Version atribute is an instance of relational attribute
(documentation VersionAttribute EnglishLanguage "VersionAttribute is used to label the version of a ComputerProgram.") ComputingBrands.kif 3791-3792 Version atribute is an instance of relational attribute

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


(termFormat EnglishLanguage VersionAttribute "version atribute") ComputingBrands.kif 3793-3793
(subAttribute PreviousVersion VersionAttribute) ComputingBrands.kif 3795-3795 Previous version is a subattribute of version atribute
(subAttribute CurrentVersion VersionAttribute) ComputingBrands.kif 3804-3804 Current version is a subattribute of version atribute

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


(domain softwareVersion 2 VersionAttribute) ComputingBrands.kif 3772-3772 The number 2 argument of software version is an instance of version atribute


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners