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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MonitoringProgram
MonitoringProgram(monitoring program)

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 Monitoring program is a subclass of computer program

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 931-931 Monitor application cmd is a subclass of monitoring program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 935-935 Monitor component cmd is a subclass of monitoring program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 927-927 Monitor connectivity cmd is a subclass of monitoring program
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 The number 2 argument of benchmark performance is an instance of monitoring program
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 878-878 The number 1 argument of dataID is an instance of monitoring program

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


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