No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13849-13856 |
The statement a formula has the modal force of legal if and only if there doesn't exist another formula such that the statement the other formula has the modal force of law and the other formula is not a consistent of the formula |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17438-17440 |
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. |
Merge.kif 17501-17503 |
The statement a formula has the modal force of obligation if and only if the statement the formula doesn't have the modal force of permission |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17537-17539 |
The statement a formula has the modal force of prohibition if and only if the statement the formula doesn't have the modal force of permission |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14078-14088 |
|
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 6230-6243 |
|
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. |
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 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. |
Merge.kif 18468-18473 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13535-13544 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13546-13557 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13485-13496 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13565-13574 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13576-13585 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18451-18456 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |