Buying(Comprar) |
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 5142-5148 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 5129-5134 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9318-9330 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9296-9308 |
|
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 29895-29915 |
|
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 8406-8416 |
|
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 7742-7749 | |
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 |
|