No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1420-1427 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1453-1458 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 178-182 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1393-1411 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1427-1445 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 50-72 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7953-7978 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8736-8756 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7702-7716 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7752-7765 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7877-7893 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8465-8488 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8707-8727 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8034-8059 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8528-8549 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8344-8364 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8253-8275 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8776-8797 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8080-8105 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 610-627 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3389-3417 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5262-5266 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13610-13624 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13160-13164 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13148-13158 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |