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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LineFormation
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 19425-19428
(instance LineFormation ShapeAttribute) Mid-level-ontology.kif 19424-19424 LineFormation形状属性instance では %n

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


(termFormat ChineseLanguage LineFormation "线形成") domainEnglishFormat.kif 34505-34505
(termFormat ChineseTraditionalLanguage LineFormation "線形成") domainEnglishFormat.kif 34504-34504
(termFormat EnglishLanguage LineFormation "line formation") domainEnglishFormat.kif 34503-34503

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


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

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


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


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