![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
SouthPacificOcean(south pacific ocean)
| South_Pacific |
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| (names "South Pacific Ocean" SouthPacificOcean) | Geography.kif 6155-6155 | South pacific ocean has name "South Pacific Ocean" |
| (names "South Pacific" SouthPacificOcean) | Geography.kif 6156-6156 | South pacific ocean has name "South Pacific" |
| (connected IndianOcean SouthPacificOcean) | Geography.kif 6172-6172 | Indian ocean is connected to south pacific ocean |
| (termFormat EnglishLanguage SouthPacificOcean "south pacific ocean") | domainEnglishFormat.kif 54307-54307 | Indian ocean is connected to south pacific ocean |
| (termFormat ChineseTraditionalLanguage SouthPacificOcean "南太平洋") | domainEnglishFormat.kif 54308-54308 | Indian ocean is connected to south pacific ocean |
| (termFormat ChineseLanguage SouthPacificOcean "南太平洋") | domainEnglishFormat.kif 54309-54309 | Indian ocean is connected to south pacific ocean |