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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Brushless

Sigma KEE - Brushless
Brushless

appearance as argument number 1
-------------------------


(documentation Brushless EnglishLanguage "With no brushes (of electrical motors)") engineering.kif 710-710
(lexicon Brushless LexAdjective "brushless") engineering.kif 711-711
(subclass Brushless InternalAttribute) engineering.kif 712-712

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


(termFormat ChineseLanguage Brushless "无刷") domainEnglishFormat.kif 12170-12170
(termFormat ChineseTraditionalLanguage Brushless "無刷") domainEnglishFormat.kif 12169-12169
(termFormat EnglishLanguage Brushless "brushless") domainEnglishFormat.kif 12168-12168

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


(=>
    (and
        (attribute ?OBJECT ?ATTRIBUTE)
        (instance ?ATTRIBUTE Brushless))
    (instance ?OBJECT ElectricalMotor))
engineering.kif 713-717


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