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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonitoringProgram
MonitoringProgram(监测计划)

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 858-859
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 857-857 监测计划 是 电脑程序 的 subclass

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 931-931 监视应用程序cmd 是 监测计划 的 subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 935-935 监视组件cmd 是 监测计划 的 subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 927-927 监控连接cmd 是 监测计划 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38433-38433
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38432-38432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 38431-38431

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1039-1039 基准表现 的 2 数量 是 监测计划 的 instance
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 878-878 dataID 的 1 数量 是 监测计划 的 instance

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 861-867