| appearance as argument number 1 |
|
| (subclass ChainLink Artifact) | Cars.kif 4502-4502 | 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 4504-4505 | Chain link is a subclass of artifact |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ChainLink "chain link") | Cars.kif 4503-4503 |
| antecedent |
|
|
| (=> (instance ?CL ChainLink) (material Metal ?CL)) |
Cars.kif 4507-4509 | If X is an instance of chain link, then X is made of metal |
| (=> (instance ?CL ChainLink) (attribute ?CL RingTorus)) |
Cars.kif 4511-4513 | 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 4469-4485 | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners