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 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 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 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 13246-13251 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15639-15644 |
|