No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18969-18985 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17132-17143 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16832-16839 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16811-16825 |
|
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 18991-19002 |
|
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 3239-3263 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3272-3296 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16792-16804 |
|
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 13302-13307 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15691-15696 |
|