more pictures...
| SocialScience(social science)
more pictures... | | social_science |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22761-22763 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6868-6868 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7906-7906 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7907-7907 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7908-7908 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7909-7909 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7910-7910 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22760-22760 | Social science is a subclass of science |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22768-22768 | Anthropology is a subclass of social science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22837-22837 | Economics is a subclass of social science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22860-22860 | Linguistics is a subclass of social science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22765-22765 | Political science is a subclass of social science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22863-22863 | Psychology is a subclass of social science |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22913-22913 | Sociology is a subclass of social science |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53681-53681 | Sociology is a subclass of social science |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53680-53680 | Sociology is a subclass of social science |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 53679-53679 | Sociology is a subclass of social science |
|
|
|