No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13822-13829 |
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 17386-17388 |
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 17449-17451 |
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 17485-17487 |
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 14051-14061 |
|
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 6203-6216 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29375-29380 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29348-29352 |
|
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 25680-25693 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26091-26103 |
|
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 18416-18421 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13508-13517 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13519-13530 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13458-13469 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13538-13547 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13549-13558 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18399-18404 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |