No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4195-4204 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10252-10258 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11554-11558 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11576-11580 |
|
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. |
naics.kif 7319-7333 |
|
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. |
Mid-level-ontology.kif 1986-1995 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 51-53 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20041-20050 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4809-4818 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11668-11676 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 70-81 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7281-7291 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12867-12872 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4433-4442 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 62-71 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1584-1597 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7818-7825 |
|
No TPTP formula. May not be expressible in strict first order. |
Military.kif 210-218 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 285-289 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4035-4040 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 260-265 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1723-1725 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |