No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17479-17481 |
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 17515-17517 |
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 18679-18695 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16882-16893 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16582-16589 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16561-16575 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2626-2635 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2577-2586 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2593-2602 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2512-2528 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2561-2570 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2610-2619 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2489-2505 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22426-22433 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18701-18712 |
|
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. |
Mid-level-ontology.kif 16542-16554 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 339-341 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 335-337 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 351-353 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 663-671 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17483-17485 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21008-21014 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4253-4255 |
|