No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 1033-1060 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 774-783 |
|
No TPTP formula. May not be expressible in strict first order. |
QoSontology.kif 1926-1940 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4566-4576 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 12431-12440 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 450-463 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7016-7030 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11973-11982 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 436-453 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 3234-3250 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 155-166 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 777-792 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1898-1917 |
|
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1868-1887 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2421-2430 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2432-2445 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 2456-2466 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 1598-1608 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2537-2550 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 65-84 |
|
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2566-2580 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9774-9795 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 1332-1355 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3972-3986 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3988-4002 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |