No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4711-4720 |
OpenSea e' um atributo de Objeto Fisico Numero Real Objeto e' uma instancia de Area Aquatica salgada Objeto e' uma instancia de LandlockedWater a distancia entre Fisico e Objeto e' Numero Real NauticalMile(s) Numero Real e' maior que 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 |