appearance as argument number 1 |
![]() |
(documentation Sea EnglishLanguage "Sea is the class of smaller subdivisions of the WorldOcean, typically partially surrounded by land. However, for inland salt water bodies that are sometimes called 'Sea', see SaltLake.") | Geography.kif 4830-4833 | |
(subclass Sea BodyOfWater) | Geography.kif 4828-4828 | Sea is a subclass of body of water |
(subclass Sea SaltWaterArea) | Geography.kif 4827-4827 | Sea is a subclass of salt water area |
appearance as argument number 2 |
![]() |
(instance ArabianSea Sea) | Geography.kif 4905-4905 | Arabian sea is an instance of sea |
(instance BalticSea Sea) | Geography.kif 4904-4904 | Baltic sea is an instance of sea |
(instance BeringSea Sea) | Geography.kif 4903-4903 | Bering sea is an instance of sea |
(instance BlackSea Sea) | Geography.kif 4896-4896 | Black sea is an instance of sea |
(instance CaribbeanSea Sea) | Geography.kif 4895-4895 | Caribbean sea is an instance of sea |
(instance MediterraneanSea Sea) | Geography.kif 4868-4868 | Mediterranean sea is an instance of sea |
(instance NorthSea Sea) | Geography.kif 4906-4906 | North sea is an instance of sea |
(instance RedSea Sea) | Geography.kif 4897-4897 | Red sea is an instance of sea |
(termFormat ChineseLanguage Sea "海") | domainEnglishFormat.kif 51643-51643 | Red sea is an instance of sea |
(termFormat ChineseTraditionalLanguage Sea "海") | domainEnglishFormat.kif 51642-51642 | Red sea is an instance of sea |
(termFormat EnglishLanguage Sea "sea") | domainEnglishFormat.kif 51641-51641 | Red sea is an instance of sea |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |