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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimingRequirementAttribute

 Sigma KEE - TimingRequirementAttribute
TimingRequirementAttribute(時間要求屬性)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1498-1500
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1497-1497 子類 時間要求屬性 and 實時系統屬性

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1611-1611 子類 抽象級別屬性 and 時間要求屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1509-1509 子類 複雜屬性 and 時間要求屬性
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1547-1547 子類 嚴格屬性 and 時間要求屬性
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58130-58130
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58129-58129
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58128-58128

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1517-1517 域 複雜, 2 and 時間要求屬性


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