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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Jersey
Jersey(jersey)
Jersey, island_of_Jersey

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3799-3799 Jersey is a dependent of united kingdom
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3800-3800
No TPTP formula. May not be expressible in strict first order. pictureList.kif 529-529
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 355-355 Jersey is a geographic subregion of western europe
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3892-3892 Jersey is an instance of dependency or special sovereignty area
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 345-345 Jersey is an instance of land area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4054-4054 Jersey has name "Jersey"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31536-31536
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31535-31535
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31534-31534

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2714-2714 "JE" in ISO-3166-1-alpha-2 denotes jersey


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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