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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Marinas

 Sigma KEE - Marinas
Marinas(游艇码头)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11529-11531
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6689-6689
No TPTP formula. May not be expressible in strict first order. naics.kif 11527-11527 游艇码头 是 其他娱乐和娱乐业 的 subAttribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36149-36149
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36148-36148
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36147-36147


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