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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernRomanceLanguage

 Sigma KEE - SouthernRomanceLanguage
SouthernRomanceLanguage(南方浪漫語言)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 10594-10596
No TPTP formula. May not be expressible in strict first order. Languages.kif 10593-10593 子類 南方浪漫語言 and italo西方浪漫語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 10599-10599 子類 科西嘉群島語言 and 南方浪漫語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 10627-10627 子類 撒丁島語 and 南方浪漫語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54254-54254
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54253-54253
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54252-54252


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