LineFormation | ![]() |
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 20996-20999 | |
(instance LineFormation ShapeAttribute) | Mid-level-ontology.kif 20995-20995 | LineFormation は 形状属性 の instance では |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage LineFormation "线形成") | domainEnglishFormat.kif 34516-34516 | |
(termFormat ChineseTraditionalLanguage LineFormation "線形成") | domainEnglishFormat.kif 34515-34515 | |
(termFormat EnglishLanguage LineFormation "line formation") | domainEnglishFormat.kif 34514-34514 |
antecedent |
![]() |
(=> (attribute ?COLLECTION LineFormation) (instance ?COLLECTION Collection)) |
Mid-level-ontology.kif 21001-21003 |
consequent |
![]() |
(=> (instance ?C Convoy) (attribute ?C LineFormation)) |
Mid-level-ontology.kif 24001-24003 |
![]() |
![]() |