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


KB Term:  Term intersection
English Word: 

  environmentAttributes

 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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners