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 522-522
(lexicon AcrossVariableSource LexNoun "{across variable} source") engineering.kif 523-523
(subclass AcrossVariableSource Source) engineering.kif 524-524 Across variable source is a subclass of source

appearance as argument number 2

(termFormat ChineseLanguage AcrossVariableSource "跨变量来源") domainEnglishFormat.kif 5346-5346
(termFormat ChineseTraditionalLanguage AcrossVariableSource "跨變量來源") domainEnglishFormat.kif 5345-5345
(termFormat EnglishLanguage AcrossVariableSource "across variable source") domainEnglishFormat.kif 5344-5344

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