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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Instrument-AbstractionLevel
Instrument-AbstractionLevel

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


(termFormat ChineseLanguage Instrument-AbstractionLevel "仪器 - 抽象阶段") domainEnglishFormat.kif 30265-30265
(termFormat ChineseTraditionalLanguage Instrument-AbstractionLevel "儀器 - 抽象階段") domainEnglishFormat.kif 30264-30264
(termFormat EnglishLanguage Instrument-AbstractionLevel "instrument- abstraction level") domainEnglishFormat.kif 30263-30263


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