equal |
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 |