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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RealtimeSystem

 Sigma KEE - RealtimeSystem
RealtimeSystem(实时系统)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1325-1327
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1324-1324 实时系统 是 计算系统 的 subclass

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1330-1330 计算机网络 是 实时系统 的 subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1329-1329 硬件系统 是 实时系统 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48926-48926
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48925-48925
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48924-48924

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1619-1619 抽象层次 的 1 数量 是 实时系统 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1516-1516 复杂 的 1 数量 是 实时系统 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1375-1375 设计模式 的 1 数量 是 实时系统 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1472-1472 适应形式 的 1 数量 是 实时系统 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1503-1503 粒度 的 1 数量 是 实时系统 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1555-1555 严格 的 1 数量 是 实时系统 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1344-1344 系统行为 的 1 数量 是 实时系统 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1444-1444 任务关系 的 1 数量 是 实时系统 的 instance


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