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 713-713
(lexicon Brushless LexAdjective "brushless") engineering.kif 714-714
(subclass Brushless InternalAttribute) engineering.kif 715-715

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


(termFormat ChineseLanguage Brushless "无刷") domainEnglishFormat.kif 12167-12167
(termFormat ChineseTraditionalLanguage Brushless "無刷") domainEnglishFormat.kif 12166-12166
(termFormat EnglishLanguage Brushless "brushless") domainEnglishFormat.kif 12165-12165

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


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


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