FuelCapLock - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FuelCapLock

FuelCapLock(fuel cap lock)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1015-1015
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1014-1014	Fuel cap lock is a subclass of security device

appearance as argument number 2

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

domainEnglishFormat.kif 64897-64897

antecedent

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

Cars.kif 1016-1034

If a physical is an instance of fuel cap lock,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas tank and the other entity is a hole in the entity and the physical is connected to the other entity and locked is an attribute of the physical holds during the third entity decreases likelihood of there exist a fourth entity and a fifth entity such that the fourth entity is an instance of stealing and the fifth entity is an instance of fuel and the fifth entity is located at the entity and the fifth entity is a patient of the fourth entity holds during the third entity

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

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