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 26995-26997
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26994-26994	SurveillanceSystem est une sous-classe de collection

appearance as argument number 2

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

Mid-level-ontology.kif 26998-26998

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27006-27032	Physique est une instance de SurveillanceSystem physique est un membre de collection physique est un membre de collection collection est situ� � objet collection est une instance de Camera collection est situ� � objet objet est objet collection est une instance de VideoDisplay physique a pour but entit� entit�, entit� and entit� entit� est une instance de processus eventLocated entit� and objet entit� d�finie entit� Camera est un instrument pour entit� entit� est le resultat de entit� entit� est une instance de lumi�re irradiante collection est un instrument pour entit� entit� est un patient de entit� le d�but de entit� se produit avant le d�but de entit� le d�but de entit� se produit avant le d�but de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27000-27004	Collection est une instance de SurveillanceSystem memberType collection and Camera memberType collection and VideoDisplay

consequent

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

Mid-level-ontology.kif 27034-27040