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