| Sea(海) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4760-4763 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4758-4758 | 子類 海 and 水體 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4757-4757 | 子類 海 and SaltWaterArea |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4809-4809 | 例 阿拉伯海 and 海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4808-4808 | 例 波羅的海 and 海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4807-4807 | 例 白令海 and 海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4800-4800 | 例 黑海 and 海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4799-4799 | 例 加勒比海 and 海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4798-4798 | 例 地中海 and 海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4810-4810 | 例 北海 and 海 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4801-4801 | 例 紅海 and 海 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51639-51639 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51638-51638 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51637-51637 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4772-4777 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4765-4770 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4791-4796 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4783-4789 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4779-4781 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5129-5136 | |
| 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 |
|
|
|