No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8293-8302 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16769-16769 | Field of study is a subclass of proposition |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21110-21110 | Literature is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21114-21114 | Mathematics is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21118-21118 | Interior design is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21122-21122 | Science is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21142-21142 | Archeology is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21179-21179 | Architecture is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21283-21283 | Statistics is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21287-21287 | Electrical engineering is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21294-21294 | Electronics is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21299-21299 | Power electronics is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21303-21303 | Mechanics is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21309-21309 | Mechanical engineering is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21314-21314 | Theology is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21324-21324 | Military science is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21327-21327 | History is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21331-21331 | Philosophy is a subclass of field of study |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21335-21335 | Field of law is a subclass of field of study |