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 子類 監測計劃 and ComputerProgram

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 931-931 子類 監視應用程序cmd and 監測計劃
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 935-935 子類 監視組件cmd and 監測計劃
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 927-927 子類 監控連接cmd and 監測計劃
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 and 監測計劃
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 878-878 域 dataID, 1 and 監測計劃

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


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