TreeView Knowledge Base Browser - VideoDisplay

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VideoDisplay

VideoDisplay

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26296-26297
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26295-26295	VideoDisplay est une sous-classe de ElectricDevice

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 484-484	TouchScreen est une sous-classe de VideoDisplay
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26298-26298

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 26300-26308	Physique est une instance de VideoDisplay physique a pour but entit� entit� entit� est une instance de lumi�re irradiante entit� est une instance de VideoRecording entit� est un patient de entit� physique est un instrument pour entit�

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2224-2229	Processus est une instance de VideoCheckOut objet objet est une instance de VideoDisplay objet est un instrument pour processus
No TPTP formula. May not be expressible in strict first order.	Communications.kif 404-411	Objet est une instance de TelevisionSet objet objet objet est une instance de TelevisionReceiver objet est une instance de VideoDisplay objet est une partie de objet objet est une partie de objet
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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2231-2238	propertyAmenity AutonomousAgent and VideoCheckOut objet objet objet est une instance de VideoDisplay objet est capable de faire VideoCheckOut dans le r�le instrument objet est situ� � objet objet est une instance de AutonomousAgent

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners