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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AsyutEgypt

 Sigma KEE - AsyutEgypt
AsyutEgypt(asyut egypt)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1467-1467
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2568-2568 Asyut egypt is a geographic subregion of egypt
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1466-1466 Asyut egypt is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2569-2569 Asyut egypt has name "Asyut"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8844-8844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8843-8843
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8842-8842


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