|
|
   ChainLink
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ChainLink EnglishLanguage "Any closed form of metal rod or wire intended for use as part of a chain.") | Cars.kif 4442-4443 | |
| (subclass ChainLink Artifact) | Cars.kif 4440-4440 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChainLink "chain link") | Cars.kif 4441-4441 |
| antecedent |
|
|
| (=> (instance ?CL ChainLink) (attribute ?CL RingTorus)) |
Cars.kif 4449-4451 | |
| (=> (instance ?CL ChainLink) (material Metal ?CL)) |
Cars.kif 4445-4447 |
| consequent |
|
|
| (=> (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 4407-4423 |
|
|
|