No TPTP formula. May not be expressible in strict first order. |
People.kif 238-264 |
Ano e' uma instancia de o ano Numero Inteiro DeathsPerThousandLiveBirthsFn Area Geopolitica and Ano e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + 1000 e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Real e' igual a Numero Real |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1948-1952 |
Numero Real e' uma instancia de Numero Real negativo Numero Real e' menos que 0 Numero Real e' uma instancia de Numero Real |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1867-1871 |
Numero Real e' menor ou igual a Numero Real Numero Real e' igual a Numero Real Numero Real e' menos que Numero Real |
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 18727-18736 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18742-18752 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18758-18768 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18774-18784 |
|
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 13576-13585 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13504-13513 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13515-13526 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13466-13476 |
|
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. |
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 888-894 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 878-886 |
|
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 10983-10996 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 620-630 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1926-1940 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |