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 例 北大西洋 and 水體
No TPTP formula. May not be expressible in strict first order. Geography.kif 4539-4539 例 北大西洋 and SaltWaterArea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5176-5176 連接的 GulfOfMexico and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 919-919 空間的符合 Delaware and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 925-925 空間的符合 佛羅里達 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 931-931 空間的符合 格魯吉亞 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 979-979 空間的符合 Maine and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 982-982 空間的符合 馬里蘭 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 990-990 空間的符合 馬薩諸塞 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1036-1036 空間的符合 新罕布什爾 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1042-1042 空間的符合 新澤西州美國 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1061-1061 空間的符合 紐約州 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1063-1063 空間的符合 北卡羅來納 and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1096-1096 空間的符合 SouthCarolina and 北大西洋
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1134-1134 空間的符合 弗吉尼亞州 and 北大西洋
No TPTP formula. May not be expressible in strict first order. Geography.kif 4541-4541 名 "North Atlantic Ocean" and 北大西洋
No TPTP formula. May not be expressible in strict first order. Geography.kif 4542-4542 名 "North Atlantic" and 北大西洋
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