No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30650-30671 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3331-3341 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 427-431 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 467-474 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1321-1332 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 211-217 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 1017-1023 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 874-880 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1964-1975 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1940-1954 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1575-1582 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 354-365 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 686-699 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 701-714 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 759-775 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5775-5782 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5766-5773 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5752-5759 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5743-5750 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 5850-5855 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2873-2884 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13853-13861 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4698-4708 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2333-2355 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 1285-1301 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |