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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AcrossVariableSource

appearance as argument number 1

(documentation AcrossVariableSource EnglishLanguage "A Source that models a generator of across variable.") engineering.kif 519-519
(lexicon AcrossVariableSource LexNoun "{across variable} source") engineering.kif 520-520
(subclass AcrossVariableSource Source) engineering.kif 521-521

appearance as argument number 2

(termFormat ChineseLanguage AcrossVariableSource "跨变量来源") domainEnglishFormat.kif 5354-5354
(termFormat ChineseTraditionalLanguage AcrossVariableSource "跨變量來源") domainEnglishFormat.kif 5353-5353
(termFormat EnglishLanguage AcrossVariableSource "across variable source") domainEnglishFormat.kif 5352-5352

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