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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PantrasGreece

 Sigma KEE - PantrasGreece
PantrasGreece(pantras希臘)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2186-2186
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3367-3367
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3586-3586
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3583-3583
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3587-3587
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3377-3377 Pantras希臘 是 希臘 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2185-2185 例 pantras希臘 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3378-3378 名 "Pantras" and pantras希臘
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44250-44250
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44249-44249
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 44248-44248


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