Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ChainLink(chain link) |
| appearance as argument number 1 |
|
| (subclass ChainLink Artifact) | Cars.kif 4316-4316 | Chain link is a subclass of artifact |
| (documentation ChainLink EnglishLanguage "Any closed form of metal rod or wire intended for use as part of a chain.") | Cars.kif 4318-4319 | Chain link is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChainLink "chain link") | Cars.kif 4317-4317 |
| antecedent |
|
|
| (=> (instance ?CL ChainLink) (material Metal ?CL)) |
Cars.kif 4321-4323 | If X is an instance of chain link, then X is made of metal |
| (=> (instance ?CL ChainLink) (attribute ?CL RingTorus)) |
Cars.kif 4325-4327 | If X is an instance of chain link, then ring torus is an attribute of X |
| 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 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 |
|