No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4711-4720 |
attribute Object and 公海 Physical RealNumber 例 Object and SaltWaterArea 例 Object and 內陸水域 距離 Physical, Object and 測量 RealNumber and 海裡 比較多 RealNumber and 5.0 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7718-7723 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7695-7697 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1922-1930 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9776-9781 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1943-1965 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1393-1411 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1427-1445 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 759-769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17638-17656 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17616-17634 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 693-706 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4697-4703 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 751-768 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 737-749 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1295-1315 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17947-17962 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2728-2748 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2750-2771 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2709-2726 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7740-7745 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7691-7693 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1914-1920 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 825-828 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1420-1440 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |