TreeView Knowledge Base Browser - RemoteControl

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - RemoteControl

RemoteControl(remote control)

remote, remote_control

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 1117-1118
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1116-1116	Remote control is a subclass of controller

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3753-3753	Remote ignition control is a subclass of remote control
No TPTP formula. May not be expressible in strict first order.	Communications.kif 413-413	Tv remote is a subclass of remote control
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1119-1119

antecedent

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

engineering.kif 1121-1131

If a physical is an instance of remote control,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electronic signalling and the physical is an agent of the entity and the entity ends up at the other entity and the other entity is an instance of device and the physical is not a part of the other entity

consequent

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

Cars.kif 3775-3800

If a collection is an instance of remote keyless system,
then there exist an object, a physical,, , a symbolic string and another symbolic string such that the object is an instance of key and the object is an instance of remote control and the object is a member of the collection and the physical is an instance of lock and the physical is a member of the collection and the object is capable of doing the class described by the symbolic string as a instrument and the object is capable of doing the class described by the other symbolic string as a instrument

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