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

Formal Language: 



KB Term:  Term intersection
English Word: 

  UnskilledOccupation

 Sigma KEE - OtzarinWestBank
OtzarinWestBank

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2174-2174
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3365-3365 geographicSubregion OtzarinWestBank and WestBank
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2173-2173 OtzarinWestBank e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3366-3366 OtzarinWestBank se chama nome "Otzarin"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43650-43650
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43649-43649
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43648-43648


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