| 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 4392-4397 | |
| (subclass Chain Artifact) | Cars.kif 4390-4390 | Chain e' uma sub-classe de Artefato |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Chain "chain") | Cars.kif 4391-4391 |
| 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 4399-4415 |
|
| consequent |
|
|
| (=> (instance ?TC TireChain) (exists (?C) (and (instance ?C Chain) (part ?C ?TC)))) |
Cars.kif 4454-4459 |
|
|
|