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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnitedNationsEnvironmentProgram

Sigma KEE - SpringElement
SpringElement

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


(documentation SpringElement EnglishLanguage "A ThroughVariableAccumulator from translatory energy domain.") engineering.kif 581-581
(lexicon SpringElement LexNoun "spring") engineering.kif 582-582
(subclass SpringElement ThroughVariableAccumulator) engineering.kif 583-583 SpringElement è una sottoclasse di ThroughVariableAccumulator
(subclass SpringElement TranslatoryTwopole) engineering.kif 584-584 SpringElement è una sottoclasse di TranslatoryTwopole

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


(termFormat ChineseLanguage SpringElement "弹簧元素") domainEnglishFormat.kif 54836-54836
(termFormat ChineseTraditionalLanguage SpringElement "彈簧元素") domainEnglishFormat.kif 54835-54835
(termFormat EnglishLanguage SpringElement "spring element") domainEnglishFormat.kif 54834-54834


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