No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 234-249 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 549-556 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 540-547 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 476-484 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 783-788 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2623-2628 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18446-18451 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18429-18434 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 18463-18468 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4675-4680 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 818-828 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1347-1358 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8054-8062 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5765-5769 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4966-4971 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15515-15532 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4861-4872 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4874-4888 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 5866-5870 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4946-4956 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 4958-4972 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 3219-3223 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6044-6050 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6394-6398 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6370-6374 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |