TreeView Knowledge Base Browser - SurveillanceSystem

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26950-26952
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26949-26949	SurveillanceSystem 是群体的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 26953-26953

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26987	如果物理是 SurveillanceSystem 的 instance 和那个物理是群体的 member 和那个物理是另一个群体的 member 和那个群体是 located 在客体和那个群体是相机的 instance 和那个另外群体是 located 在另一个客体和那个客体不 equal 那个另外客体和那个另外群体是 VideoDisplay 的 instance，然后那个物理的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是过程的 instance 和那个实体是 located 在那个客体和那个另外实体表达那个实体和相机是导致那个第四实体的 instrument 和那个另外实体是那个第四实体的 result 和那个第三实体是放射光线的 instance 和那个另外群体是导致那个第三实体的 instrument 和那个另外实体是那个第三实体的 patient 和那个实体的开始%n在那个第四实体的开始before发生和那个第四实体的开始%n在那个第三实体的开始before发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26955-26959	如果群体是 SurveillanceSystem 的 instance，然后相机是那个群体的 member 类别和 VideoDisplay 是那个群体的 member 类别

consequent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 26989-26995