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 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. |
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 330-333 |
|
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. |
Merge.kif 13268-13273 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15661-15666 |
|