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 4444-4449 | |
(subclass Chain Artifact) | Cars.kif 4442-4442 |
appearance as argument number 2 |
(termFormat EnglishLanguage Chain "chain") | Cars.kif 4443-4443 |
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 4451-4467 |
consequent |
(=> (instance ?TC TireChain) (exists (?C) (and (instance ?C Chain) (part ?C ?TC)))) |
Cars.kif 4506-4511 |