| Chain | |
| appearance as argument number 1 |
|
|
| (documentation Chain EnglishLanguage "A number of interconnected loops of metal that has strength in tension and is used like rope, although it often is much stronger. Note that this class does not include loops of metal not arranged in an interconnected line, such as chain mail armor or a chain link fence, which are connected in a plane. Chain may however be used to make up other artifacts, such as tire chains, in which sections of chain are joined into a grid or other arrangement.") | Cars.kif 4369-4374 | |
| (subclass Chain Artifact) | Cars.kif 4367-4367 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Chain "chain") | Cars.kif 4368-4368 |
| antecedent |
|
|
| (=> (instance ?C Chain) (exists (?CL1 ?CL2 ?CL3) (and (instance ?CL1 ChainLink) (instance ?CL2 ChainLink) (instance ?CL3 ChainLink) (not (equal ?CL1 ?CL2)) (not (equal ?CL2 ?CL3)) (not (equal ?CL3 ?CL1)) (crosses ?CL1 ?CL2) (crosses ?CL2 ?CL3) (not (crosses ?CL1 ?CL3))))) |
Cars.kif 4376-4392 |
| consequent |
|
|
| (=> (instance ?TC TireChain) (exists (?C) (and (instance ?C Chain) (part ?C ?TC)))) |
Cars.kif 4431-4436 |
|
|
|