No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14837-14837 |
Le domaine de WeekAfterFn est une instance de semaine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14844-14844 |
Le domaine de WeekBeforeFn est une instance de semaine |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8988-8988 |
Les valeurs retourn�es par WeekFn sont des sous-classes de semaine |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1297-1297 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1811-1811 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 975-975 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 510-510 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 514-514 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2659-2659 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 927-927 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 516-516 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 550-550 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 996-996 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 515-515 |
|