Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  LineFormation

Sigma KEE - LineFormation
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 18776-18779
(instance LineFormation ShapeAttribute) Mid-level-ontology.kif 18775-18775 Line formation is an instance of shape attribute

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage LineFormation "线形成") domainEnglishFormat.kif 34488-34488
(termFormat ChineseTraditionalLanguage LineFormation "線形成") domainEnglishFormat.kif 34487-34487
(termFormat EnglishLanguage LineFormation "line formation") domainEnglishFormat.kif 34486-34486

antecedent
-------------------------


(=>
    (attribute ?COLLECTION LineFormation)
    (instance ?COLLECTION Collection))
Mid-level-ontology.kif 18781-18783

consequent
-------------------------


(=>
    (instance ?C Convoy)
    (attribute ?C LineFormation))
Mid-level-ontology.kif 21814-21816


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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