No TPTP formula. May not be expressible in strict first order. |
People.kif 238-264 |
Ann�e est une instance de l' ann�e nombre entier DeathsPerThousandLiveBirthsFn secteur g�opolitique and ann�e est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre r�el est nombre r�el |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1948-1952 |
Nombre r�el est une instance de nombre r�el n�gatif nombre r�el est moins 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 1867-1871 |
Nombre r�el est plus petit ou �gal � nombre r�el nombre r�el est nombre r�el nombre r�el est moins que nombre r�el |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 172-187 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18728-18737 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18743-18753 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18759-18769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18775-18785 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1148-1156 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2623-2628 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13577-13586 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13505-13514 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13516-13527 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13467-13477 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4958-4972 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4868-4872 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 772-795 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1391-1400 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1940-1954 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 892-898 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 882-890 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4698-4708 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10961-10974 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 620-630 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |