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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EnvironmentSoftwareAttribute
EnvironmentSoftwareAttribute(environment software attribute)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 447-457
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10966-10966
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10004-10004
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 446-446 Environment software attribute is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22294-22294
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22293-22293
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22292-22292

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 462-462 The number 2 argument of environment attributes is an instance of environment software attribute


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