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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Predicate

 Sigma KEE - SavingsPlan-403B
SavingsPlan-403B

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


(termFormat ChineseLanguage SavingsPlan-403B "储蓄计划-403 b") domainEnglishFormat.kif 51389-51389
(termFormat ChineseTraditionalLanguage SavingsPlan-403B "儲蓄計劃-403 b") domainEnglishFormat.kif 51388-51388
(termFormat EnglishLanguage SavingsPlan-403B "savings plan-403 b") domainEnglishFormat.kif 51387-51387


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