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 20600-20622 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10274-10280 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11553-11557 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11575-11579 |
|
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 20040-20049 |
|
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 7280-7290 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12889-12894 |
|
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 7817-7824 |
|
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 |