No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17654-17656 |
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 17690-17692 |
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 20250-20266 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18269-18280 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17969-17976 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17948-17962 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2637-2646 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2588-2597 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2604-2613 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2523-2539 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2572-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2621-2630 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2500-2516 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24067-24074 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20272-20283 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11456-11468 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3242-3266 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17929-17941 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 345-347 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 341-343 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 357-359 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 627-635 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17658-17660 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22625-22631 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4281-4283 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |