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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SystemBehaviorAttribute

Sigma KEE - SystemBehaviorAttribute
SystemBehaviorAttribute(system behavior attribute)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1337-1340
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1336-1336 System behavior attribute is a subclass of realtime system attribute

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1360-1360 Hybrid- system behavior is a subclass of system behavior attribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1350-1350 Periodic- system behavior is a subclass of system behavior attribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1355-1355 Transient- system behavior is a subclass of system behavior attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56655-56655
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56654-56654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56653-56653

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1345-1345 The number 2 argument of system behavior is an instance of system behavior attribute


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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