No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 104-111 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5711-5718 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10642-10651 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2835-2842 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1428-1443 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1334-1343 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 466-482 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 69-85 |
|
No TPTP formula. May not be expressible in strict first order. |
Biography.kif 99-115 |
|
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. |
Mid-level-ontology.kif 21431-21442 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17637-17655 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17615-17633 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1087-1092 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 408-424 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5778-5797 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6779-6792 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1071-1081 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 853-875 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2689-2702 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 466-481 |
|
No TPTP formula. May not be expressible in strict first order. |
Media.kif 768-788 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 228-235 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2229-2239 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |