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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthAtlanticOcean

Sigma KEE - NorthAtlanticOcean
NorthAtlanticOcean(north atlantic ocean)
North_Atlantic

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4548-4550
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2495-2495
No TPTP formula. May not be expressible in strict first order. Geography.kif 4544-4544 North atlantic ocean is a geographic subregion of atlantic ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4545-4545 North atlantic ocean is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4546-4546 North atlantic ocean is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4540-4540 North atlantic ocean is an instance of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4539-4539 North atlantic ocean is an instance of salt water area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5176-5176 Gulf of mexico is connected to north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 919-919 Delaware meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 925-925 Florida meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 931-931 Georgia meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 979-979 Maine meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 982-982 Maryland meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 990-990 Massachusetts meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1036-1036 New hampshire meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1042-1042 New jersey united states meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1061-1061 New york state meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1063-1063 North carolina meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1096-1096 South Carolina meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1134-1134 Virginia meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4541-4541 North atlantic ocean has name "North Atlantic Ocean"
No TPTP formula. May not be expressible in strict first order. Geography.kif 4542-4542 North atlantic ocean has name "North Atlantic"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40965-40965
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40964-40964
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 40963-40963

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 627-646

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 753-763


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