| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21125-21125 | 社会科学 是 科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21130-21130 | 政治学 是 社会科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21133-21133 | 人类学 是 社会科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21202-21202 | 经济学 是 社会科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21225-21225 | 语言学 是 社会科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21228-21228 | 心理学 是 社会科学 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21278-21278 | 社会学 是 社会科学 的 subclass |
|
|