No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17501-17503 |
公式 的声明 has 义务 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17537-17539 |
公式 的声明 has 禁令 的语气 若且唯若 那个 公式 的声明 doesn't have 允许 的语气 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18678-18694 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16881-16892 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16581-16588 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16560-16574 |
|
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 22425-22432 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18700-18711 |
|
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 16541-16553 |
|
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 17505-17507 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21007-21013 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4253-4255 |
|