flows |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5437-5439 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5426-5426 | 流动 的 1 数量 是 和 流体 对应的 Class 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5428-5428 | 流动 的 1 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5427-5427 | 流动 的 2 数量 是 和 流体 对应的 Class 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5429-5429 | 流动 的 2 数量 是 物理 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5424-5424 | 流动 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5423-5423 | 流动 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5425-5425 | 流动 是 传递关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1077-1077 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1076-1076 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1075-1075 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5434-5434 | 支流 是 流动 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24356-24356 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24355-24355 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 24354-24354 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5661-5670 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5442-5444 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5446-5448 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5533-5542 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5498-5505 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5489-5496 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5415-5421 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5195-5200 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5693-5699 |