No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21125-21125 | Social science is a subclass of science |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21130-21130 | Political science is a subclass of social science |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21133-21133 | Anthropology is a subclass of social science |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21202-21202 | Economics is a subclass of social science |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21225-21225 | Linguistics is a subclass of social science |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21228-21228 | Psychology is a subclass of social science |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21278-21278 | Sociology is a subclass of social science |