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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThroughVariableSource
ThroughVariableSource(through variable source)

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


(documentation ThroughVariableSource EnglishLanguage "A Source that models a generator of through variable.") engineering.kif 526-526
(lexicon ThroughVariableSource LexNoun "{through variable} source") engineering.kif 527-527
(subclass ThroughVariableSource Source) engineering.kif 528-528 Through variable source is a subclass of source

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


(termFormat ChineseLanguage ThroughVariableSource "通过可变来源") domainEnglishFormat.kif 57940-57940
(termFormat ChineseTraditionalLanguage ThroughVariableSource "通過可變來源") domainEnglishFormat.kif 57939-57939
(termFormat EnglishLanguage ThroughVariableSource "through variable source") domainEnglishFormat.kif 57938-57938


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