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 实际北 若且唯若 那个 客体 在 另一个 客体 的 东 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17103-17107 |
客体 在 另一个 客体 的 邻 若且唯若 那个 客体 在 那个 另外 客体 的 近 或 那个 客体 和 那个 另外 客体 是 connected |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17091-17095 |
客体 在 另一个 客体 的 下面 若且唯若 那个 另外 客体 在 那个 客体 的 上 或 那个 另外 客体 在 那个 客体 的 以上 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17028-17030 |
客体 在 另一个 客体 的 东 若且唯若 那个 另外 客体 在 那个 客体 的 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17045-17047 |
客体 在 另一个 客体 的 横 若且唯若 那个 另外 客体 在 那个 客体 的 横 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17018-17020 |
客体 在 另一个 客体 的 北 若且唯若 那个 另外 客体 在 那个 客体 的 南 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3653-3657 |
客体 在 另一个 客体 的 东北 若且唯若 那个 客体 在 那个 另外 客体 的 北 和 那个 客体 在 那个 另外 客体 的 东 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3688-3692 |
客体 在 另一个 客体 的 西北 若且唯若 那个 客体 在 那个 另外 客体 的 北 和 那个 客体 在 那个 另外 客体 的 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17124-17126 |
客体 在 另一个 客体 的 右 若且唯若 那个 另外 客体 在 那个 客体 的 左 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3664-3668 |
客体 在 另一个 客体 的 东南 若且唯若 那个 客体 在 那个 另外 客体 的 南 和 那个 客体 在 那个 另外 客体 的 东 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3676-3680 |
客体 在 另一个 客体 的 西南 若且唯若 那个 客体 在 那个 另外 客体 的 南 和 那个 客体 在 那个 另外 客体 的 西方 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17036-17038 |
客体 在 另一个 客体 的 垂直 若且唯若 那个 另外 客体 在 那个 客体 的 垂直 |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 939-944 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7714-7716 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2693-2704 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2665-2676 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4078-4095 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |