| Psychology(psychology)
| | abnormal_psychology, psycholinguist, psychological_science, psychology, psychopathology, psychophysicist |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21229-21229 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6800-6800 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7665-7665 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7666-7666 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7667-7667 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21228-21228 | Psychology is a subclass of social science |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47930-47930 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47929-47929 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 47928-47928 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 535-537 |
|
|
|
|