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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TranslatoryTwopole
TranslatoryTwopole

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


(documentation TranslatoryTwopole EnglishLanguage "A PureTwopole from translatory energy domain.") engineering.kif 568-568
(subclass TranslatoryTwopole PureTwopole) engineering.kif 569-569

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


(subclass DamperElement TranslatoryTwopole) engineering.kif 574-574
(subclass Inertor TranslatoryTwopole) engineering.kif 579-579
(subclass SpringElement TranslatoryTwopole) engineering.kif 584-584
(termFormat ChineseLanguage TranslatoryTwopole "翻译双极") domainEnglishFormat.kif 58952-58952
(termFormat ChineseTraditionalLanguage TranslatoryTwopole "翻譯雙極") domainEnglishFormat.kif 58951-58951
(termFormat EnglishLanguage TranslatoryTwopole "translatory twopole") domainEnglishFormat.kif 58950-58950


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