No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4711-4720 |
Open sea is an attribute of an object if and only if there exist a physical and a real number such that the object is an instance of salt water area and the object is not an instance of landlocked water and the distance between the physical and the object is the real number nautical mile(s) and the real number is greater than 5.0 |
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 7717-7719 |
|
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 9798-9803 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1949-1971 |
|
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 17637-17655 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17615-17633 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 689-702 |
|
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 17969-17984 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2724-2744 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2746-2767 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2705-2722 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7762-7767 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7713-7715 |
|
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 1416-1436 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |