No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18728-18737 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18743-18753 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18759-18769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18775-18785 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21024-21030 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18906-18910 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4511-4519 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2309-2317 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1346-1350 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1456-1462 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3652-3657 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18944-18948 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1447-1453 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1487-1494 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1478-1485 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20879-20883 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18933-18937 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2295-2299 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 22753-22761 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4859-4863 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20911-20920 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17278-17280 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1290-1292 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21016-21018 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21008-21014 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |