No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17591-17593 |
The statement a formula has the modal force of necessity if and only if the statement the formula doesn't have the modal force of possibility |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31377-31382 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31350-31354 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5836-5846 |
|
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 27646-27659 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28057-28069 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3931-3941 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 157-176 |
|
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 1533-1546 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3041-3055 |
|
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 815-836 |
|
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 4422-4439 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1538-1548 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11908-11924 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 32751-32762 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 4180-4193 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3967-3981 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3983-3997 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9830-9841 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2546-2564 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3822-3842 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |