Buying(购买) |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 690-700 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5150-5156 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5137-5142 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9317-9329 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9295-9307 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1912-1922 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2974-2986 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1654-1675 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1465-1475 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29883-29903 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1918-1927 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8405-8415 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3097-3110 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7741-7748 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1499-1509 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2242-2259 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 452-466 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 829-837 |