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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthAtlanticOcean

 Sigma KEE - NorthAtlanticOcean
NorthAtlanticOcean(北大西洋)

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 北大西洋 是 大西洋 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 4545-4545 北大西洋 是 北半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 4546-4546 北大西洋 是 西半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 4540-4540 北大西洋 是 水体 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 4539-4539 北大西洋 是 盐水区 的 instance

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5176-5176 GulfOfMexico 和 北大西洋 是 connected
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 919-919 Delaware 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 925-925 佛罗里达 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 931-931 格鲁吉亚 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 979-979 Maine 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 982-982 马里兰 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 990-990 马萨诸塞 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1036-1036 新罕布什尔 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1042-1042 新泽西州美国 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1061-1061 纽约州 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1063-1063 北卡罗来纳 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1096-1096 SouthCarolina 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1134-1134 弗吉尼亚州 接上 北大西洋
No TPTP formula. May not be expressible in strict first order. Geography.kif 4541-4541 北大西洋 的名 是 "North Atlantic Ocean"
No TPTP formula. May not be expressible in strict first order. Geography.kif 4542-4542 北大西洋 的名 是 "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