| LineFormation(line formation) | | base, bound, boundary, columella, column, crosscut, diagonal, edge, hipline, hoodoo, hypotenuse, line, lineation, outline, pillar, rank, row, tangent, terrace, tower |
| appearance as argument number 1 |
|
|
| (documentation LineFormation EnglishLanguage "A ShapeAttribute that applies to Collections and indicates that all of the members of the Collection are arrayed in a line, i.e. each member (except possibly the first) is behind or to the side of exactly one other member.") | Mid-level-ontology.kif 19683-19686 | |
| (instance LineFormation ShapeAttribute) | Mid-level-ontology.kif 19682-19682 | Line formation is an instance of shape attribute |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage LineFormation "线形成") | domainEnglishFormat.kif 34539-34539 | |
| (termFormat ChineseTraditionalLanguage LineFormation "線形成") | domainEnglishFormat.kif 34538-34538 | |
| (termFormat EnglishLanguage LineFormation "line formation") | domainEnglishFormat.kif 34537-34537 |
| antecedent |
|
|
| (=> (attribute ?COLLECTION LineFormation) (instance ?COLLECTION Collection)) |
Mid-level-ontology.kif 19688-19690 |
|
| consequent |
|
|
| (=> (instance ?C Convoy) (attribute ?C LineFormation)) |
Mid-level-ontology.kif 22641-22643 |
|
|
|
|