No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2664-2665 |
|
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 609-609 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11561-11563 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11555-11557 |
|
No TPTP formula. May not be expressible in strict first order. |
arteries.kif 1656-1656 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4544-4546 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4470-4472 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 644-645 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4536-4537 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4463-4465 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2318-2319 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29914-29915 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4361-4364 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21103-21103 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 9902-9905 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1009-1009 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 23417-23419 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 8339-8343 |
|
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11527-11541 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 535-536 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 540-541 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2484-2486 |
|
No TPTP formula. May not be expressible in strict first order. |
Music.kif 548-550 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2800-2800 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2474-2477 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |