No TPTP formula. May not be expressible in strict first order. |
Geography.kif 4711-4720 |
OpenSea est un attribut de objet physique nombre r�el objet est une instance de plan d'eau sal� objet est une instance de LandlockedWater la distance entre physique et objet est nombre r�el NauticalMile(s) nombre r�el est plus grand que 5.0 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 272-293 |
average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif nombre entier positif est longueur de liste nombre r�el est nombre entier positifth liste + nombre entier positif |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1885-1889 |
Nombre r�el est plus grand ou �gal � nombre r�el nombre r�el est nombre r�el nombre r�el est plus grand que nombre r�el |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1937-1941 |
Nombre r�el est une instance de nombre r�el positif nombre r�el est plus grand que 0 nombre r�el est une instance de nombre r�el |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 7780-7788 |
Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1754-1759 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1766-1771 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1165-1176 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3984-4004 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1186-1201 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24235-24245 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1538-1544 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1522-1530 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1597-1603 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 809-825 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18468-18473 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13535-13544 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13546-13557 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13485-13496 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13565-13574 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18451-18456 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2591-2609 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4874-4888 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18342-18357 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |