|
|
  InternetUser
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 453-454 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9343-9343 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9341-9341 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8546-8546 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9342-9342 | |
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 452-452 | InternetUser e' uma instancia de Role Social |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30733-30733 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30732-30732 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30731-30731 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Communications.kif 456-461 |
|
|
|
|
