No TPTP formula. May not be expressible in strict first order. |
Government.kif 209-221 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18030-18046 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16301-16312 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16002-16009 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15981-15995 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2534-2543 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2583-2592 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18052-18063 |
|
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 15962-15974 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 382-384 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 373-376 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 378-380 |
|
No TPTP formula. May not be expressible in strict first order. |
Law.kif 394-396 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13000-13005 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15357-15362 |
|