No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3731-3733 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3755-3757 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3739-3741 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3759-3761 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3743-3745 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西方 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3763-3765 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 西北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3747-3749 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3751-3753 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东北 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3735-3737 |
客体 对于 %3 courseWRT 实际北 若且唯若 那个 客体 在 另一个 客体 的 东 |