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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArcticOcean
ArcticOcean

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4637-4637
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2435-2435
No TPTP formula. May not be expressible in strict first order. Geography.kif 4639-4639 geographicSubregion ArcticOcean and NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4634-4634 ArcticOcean e' uma instancia de Ocean
No TPTP formula. May not be expressible in strict first order. Geography.kif 3584-3584 ArcticOcean engloba ArcticRegion
No TPTP formula. May not be expressible in strict first order. Geography.kif 4640-4640 ArcticOcean e' parcialmente localizado em EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 4641-4641 ArcticOcean e' parcialmente localizado em WesternHemisphere

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1675-1675 geographicSubregion NorthernSeaRoute and ArcticOcean
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1666-1666 geographicSubregion NorthwestPassage and ArcticOcean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 882-882 Alaska encontra ArcticOcean
No TPTP formula. May not be expressible in strict first order. Geography.kif 4635-4635 ArcticOcean se chama nome "Arctic Ocean"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8268-8268
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8267-8267
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8266-8266

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4643-4647

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4643-4647


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