Selling(出售) |
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 |