No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1532-1547 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30030-30060 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26457-26475 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26973-26999 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8184-8197 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8207-8225 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8139-8150 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 8159-8175 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1769-1775 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4376-4386 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12211-12220 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2709-2726 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1831-1833 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6004-6011 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6175-6182 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11934-11946 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 192-198 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24256-24262 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 208-214 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24300-24306 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2463-2468 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4127-4132 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4102-4107 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4399-4410 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4319-4332 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |