No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13369-13376 |
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 17163-17165 |
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 17226-17228 |
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 17262-17264 |
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 13598-13608 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 315-321 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5938-5951 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28940-28945 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28913-28917 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 193-212 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 125-134 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 1160-1177 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25232-25245 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25643-25655 |
|
No TPTP formula. May not be expressible in strict first order. |
TransportDetail.kif 153-171 |
|
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 18179-18184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13055-13064 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13066-13077 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13005-13016 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13085-13094 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13096-13105 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18162-18167 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13024-13033 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13035-13046 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |