Chain - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Chain

Chain(chain)

bicycle_chain, chain, pull_chain

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4392-4397
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4390-4390	Chain is a subclass of artifact

appearance as argument number 2

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

Cars.kif 4391-4391

antecedent

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

Cars.kif 4399-4415

If an entity is an instance of chain,
then there exist the entityL1, the entityL2 and the entityL3 such that the entityL1 is an instance of chain link and the entityL2 is an instance of chain link and the entityL3 is an instance of chain link and the entityL1 is not equal to the entityL2 and the entityL2 is not equal to the entityL3 and the entityL3 is not equal to the entityL1 and the entityL1 crosses the entityL2 and the entityL2 crosses the entityL3 and the entityL1 doesn't crosse the entityL3

consequent

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

Cars.kif 4454-4459

If an object is an instance of snow chain,
then there exists another object such that the other object is an instance of chain and the other object is a part of the object

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