No TPTP formula. May not be expressible in strict first order. |
naics.kif 8080-8105 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 6375-6391 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 2563-2581 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9278-9288 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7830-7839 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 2999-3026 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 276-289 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 109-119 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 51-62 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 64-76 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 372-387 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2669-2685 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 2641-2659 |
|
No TPTP formula. May not be expressible in strict first order. |
UXExperimentalTerms.kif 934-941 |
|
No TPTP formula. May not be expressible in strict first order. |
FinancialOntology.kif 1933-1943 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 2353-2372 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7805-7815 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5747-5767 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 7678-7686 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11668-11676 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 2998-3010 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13101-13106 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29941-29948 |
|
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 70-81 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7281-7291 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |