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


KB Term:  Term intersection
English Word: 

Sigma KEE - environmentAttributes
environmentAttributes

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


(subrelation environmentAttributes property) QoSontology.kif 452-452 environment attributes is a subrelation of property
(instance environmentAttributes BinaryPredicate) QoSontology.kif 453-453 environment attributes is an instance of binary predicate
(domain environmentAttributes 1 ComputerProgram) QoSontology.kif 454-454 The number 1 argument of environment attributes is an instance of computer program
(domain environmentAttributes 2 EnvironmentSoftwareAttribute) QoSontology.kif 455-455 The number 2 argument of environment attributes is an instance of environment software attribute
(documentation environmentAttributes EnglishLanguage "(environmentAttributes ?Program ?Attribute) holds if ?Attribute is an EnvironmentSoftwareAttribute which describes the ComputerProgram ?Program.") QoSontology.kif 456-458 The number 2 argument of environment attributes is an instance of environment software attribute

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


(format EnglishLanguage environmentAttributes "%2 is an attribute of %1") domainEnglishFormat.kif 3310-3310
(format ChineseTraditionalLanguage environmentAttributes "%2 是 %1 的 attribute ") domainEnglishFormat.kif 3311-3311
(format ChineseLanguage environmentAttributes "%2 是 %1 的 attribute ") domainEnglishFormat.kif 3312-3312
(termFormat EnglishLanguage environmentAttributes "environment attributes") domainEnglishFormat.kif 22279-22279
(termFormat ChineseTraditionalLanguage environmentAttributes "環境屬性") domainEnglishFormat.kif 22280-22280
(termFormat ChineseLanguage environmentAttributes "环境属性") domainEnglishFormat.kif 22281-22281


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