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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AcrossVariableSource

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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