Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Chain(chain) |  | bicycle_chain, chain, pull_chain |
| appearance as argument number 1 |
|
|
| (subclass Chain Artifact) | Cars.kif 4289-4289 | Chain is a subclass of artifact |
| (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 4291-4296 | Chain is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Chain "chain") | Cars.kif 4290-4290 |
| 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 4298-4314 | If X is an instance of chain, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chain link (3) Z is an instance of chain link (4) W is an instance of chain link (5) equal Y (6) Z (7) equal Z (8) W (9) equal W (10) Y (11) Y crosses Z (12) Z crosses W (13) Y doesn't crosse W |
| consequent |
|
|
| (=> (instance ?TC TireChain) (exists (?C) (and (instance ?C Chain) (part ?C ?TC)))) |
Cars.kif 4338-4343 | If X is an instance of snow chain, then there exists Y such that Y is an instance of chain and Y is a part of X |
|