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 | 海 是 水体 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4757-4757 | 海 是 盐水区 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4809-4809 | 阿拉伯海 是 海 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4808-4808 | 波罗的海 是 海 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4807-4807 | 白令海 是 海 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4800-4800 | 黑海 是 海 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4799-4799 | 加勒比海 是 海 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4798-4798 | 地中海 是 海 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4810-4810 | 北海 是 海 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4801-4801 | 红海 是 海 的 instance |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51641-51641 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51640-51640 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51639-51639 |
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 |