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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AcrossVariableSource
AcrossVariableSource(across variable source)

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 Across variable source is a subclass of source

appearance as argument number 2

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

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