TreeView Knowledge Base Browser - RemoteKeylessSystem

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

RemoteKeylessSystem

Sigma KEE - RemoteKeylessSystem

RemoteKeylessSystem(remote keyless system)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3774-3774
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3773-3773	Remote keyless system is a subclass of collection
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3772-3772	Remote keyless system is a subclass of security device

appearance as argument number 2

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

domainEnglishFormat.kif 65404-65404

antecedent

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