No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13850-13857 |
L'argument formule a la force modale de Legal formule l'argument formule a la force modale de Law consistent formule and formule |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17416-17418 |
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. |
Merge.kif 17479-17481 |
L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17515-17517 |
L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de Permission |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14079-14089 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 316-322 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6231-6244 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29458-29463 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29431-29435 |
|
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. |
ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3984-4004 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 134-143 |
|
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 25748-25761 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26159-26171 |
|
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. |
Merge.kif 18446-18451 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13536-13545 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13547-13558 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13486-13497 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13566-13575 |
|
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. |
Merge.kif 18429-18434 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |