No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17479-17481 |
L'argument formule a la force modale de Obligation l'argument formule n' %n{pas} la force modale de Permission |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17515-17517 |
L'argument formule a la force modale de Prohibition l'argument formule n' %n{pas} la force modale de 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 |
|