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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sea

Sigma KEE - Sea
Sea(sea)Adriatic, Adriatic_Sea, Aegean, Aegean_Sea, Andaman_Sea, Arafura_Sea, Barents_Sea, Beaufort_Sea, Bismarck_Sea, Chukchi_Sea, Coral_Sea, East_China_Sea, East_Sea, Greenland_Sea, Huang_Hai, Hudson_Bay, Inland_Sea, Ionian_Sea, Irish_Sea, Kara_Sea, Labrador_Sea, Laptev_Sea, Ligurian_Sea, Marmara, Marmara_Denizi, Marmora, Norwegian_Sea, Ross_Sea, Sargasso_Sea, Sea_of_Azof, Sea_of_Azoff, Sea_of_Azov, Sea_of_Japan, Sea_of_Marmara, Sea_of_Marmora, Sea_of_Okhotsk, South_China_Sea, South_Sea, Tasman_Sea, Timor_Sea, Tyrrhenian_Sea, Weddell_Sea, White_Sea, Yellow_Sea, sea

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4658-4661
No TPTP formula. May not be expressible in strict first order. Geography.kif 4656-4656 Sea is a subclass of body of water
No TPTP formula. May not be expressible in strict first order. Geography.kif 4655-4655 Sea is a subclass of salt water area

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4707-4707 Arabian sea is an instance of sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4706-4706 Baltic sea is an instance of sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4705-4705 Bering sea is an instance of sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4698-4698 Black sea is an instance of sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4697-4697 Caribbean sea is an instance of sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4696-4696 Mediterranean sea is an instance of sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4708-4708 North sea is an instance of sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 4699-4699 Red sea is an instance of sea
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51622-51622
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51621-51621
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51620-51620

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4670-4675
No TPTP formula. May not be expressible in strict first order. Geography.kif 4663-4668
No TPTP formula. May not be expressible in strict first order. Geography.kif 4689-4694
No TPTP formula. May not be expressible in strict first order. Geography.kif 4681-4687
No TPTP formula. May not be expressible in strict first order. Geography.kif 4677-4679

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5027-5034
No TPTP formula. May not be expressible in strict first order. Transportation.kif 841-850
No TPTP formula. May not be expressible in strict first order. Transportation.kif 873-882


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