No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17438-17440 |
L'argument formule a la force modale de Necessity l'argument formule n' %n{pas} la force modale de Possibility |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29446-29451 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29419-29423 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5824-5834 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1207-1224 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25736-25749 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26147-26159 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-172 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1522-1535 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3040-3054 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 336-350 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 223-234 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4427-4444 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1545-1555 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10576-10592 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30803-30814 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3972-3986 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3988-4002 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8623-8634 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2535-2553 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1766-1776 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1748-1758 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25304-25314 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |