No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 968-975 |
yearOfFounding organisation and nombre entier processus nombre entierEAR nombre entierEAR recouvre temps d'existence de processus nombre entierEAR est une instance de l' ann�e nombre entier processus est une instance de Founding organisation est le resultat de processus |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6230-6243 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13863-13876 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18225-18231 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22347-22355 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 450-463 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10311-10319 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2467-2478 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8264-8269 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8320-8325 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1464-1473 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1450-1459 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5778-5797 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8271-8278 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13885-13900 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13902-13915 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8291-8301 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20425-20435 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2280-2290 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21088-21100 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21065-21079 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2558-2563 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |