EBay(eBay) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4677-4677 | EBay created eBay web site |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4661-4672 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4674-4674 | The headquarters of eBay is in california |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4660-4660 | EBay is an instance of corporation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4673-4673 |