appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 69-69 | creator FacebookCorporation and Facebook |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 81-81 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 80-80 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 79-79 | |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 82-82 |