destination |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15139-15149 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15123-15132 |
|
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 11478-11487 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 736-748 |
|
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 513-526 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3691-3711 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3357-3364 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3735-3755 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2379-2385 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2359-2367 |
|
No TPTP formula. May not be expressible in strict first order. | Dining.kif 689-695 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18665-18671 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 20-39 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2666-2672 |
|
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2647-2655 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1310-1320 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18644-18656 |
|
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2684-2692 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 973-983 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3179-3186 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 67-78 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4180-4187 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 685-691 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1269-1278 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |