No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 436-453 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18048-18052 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1723-1739 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1807-1811 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 2501-2511 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2447-2454 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2468-2476 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2478-2486 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11581-11585 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7230-7239 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5561-5570 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1070-1090 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11695-11707 |
|
No TPTP formula. May not be expressible in strict first order. |
TransnationalIssues.kif 88-99 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3628-3644 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3593-3601 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11446-11453 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1332-1355 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1378-1382 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11766-11777 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11074-11079 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1385-1391 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1419-1425 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 437-441 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 610-627 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |