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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RomanceLanguage

Sigma KEE - RomanceLanguage
RomanceLanguage(浪漫語言)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9381-9382
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6829-6829
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7757-7757
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7758-7758
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7759-7759
No TPTP formula. May not be expressible in strict first order. Languages.kif 9380-9380 子類 浪漫語言 and 斜體語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 9386-9386 子類 東方浪漫語言 and 浪漫語言
No TPTP formula. May not be expressible in strict first order. Languages.kif 9502-9502 子類 italo西方浪漫語言 and 浪漫語言
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50348-50348
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50347-50347
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50346-50346


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