| Sociology(sociology) | | criminology, demography, human_ecology, penology, poenology, psephology, sociology, sociometry |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22914-22915 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22913-22913 | Sociology is a subclass of social science |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53669-53669 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53668-53668 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53667-53667 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 587-589 |
|
|
|
|