TreeView Knowledge Base Browser - RealtimeSystemAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1333-1334
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1332-1332	实时系统属性是关联属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1368-1368	设计模式属性是实时系统属性的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1464-1464	适应属性的形式是实时系统属性的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1336-1336	系统行为属性是实时系统属性的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1437-1437	任务关系属性是实时系统属性的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1497-1497	时间要求属性是实时系统属性的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48932-48932
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48931-48931
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 48930-48930