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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wales

Sigma KEE - Wales
Wales

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6957-6959
No TPTP formula. May not be expressible in strict first order. Geography.kif 6956-6956 Wales e' uma instancia de Area Geografica
No TPTP formula. May not be expressible in strict first order. Geography.kif 6962-6962 Wales encontra England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6961-6961 Wales e' West em relacao a England
No TPTP formula. May not be expressible in strict first order. Geography.kif 6971-6971 primaryGeopoliticalSubdivision Wales and UnitedKingdom

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 6966-6966 Ireland e' West em relacao a Wales
No TPTP formula. May not be expressible in strict first order. Geography.kif 6963-6963 NorthernIreland e' Northwest em relacao a Wales
No TPTP formula. May not be expressible in strict first order. Geography.kif 6964-6964 Scotland e' North em relacao a Wales
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65720-65720


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