Amu(amu) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27680-27684 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29155-29159 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29023-29027 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28655-28659 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27960-27964 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28275-28279 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27426-27430 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28880-28884 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27729-27733 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27943-27947 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27371-27375 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29041-29045 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28570-28574 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27389-27393 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28033-28037 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27513-27517 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28608-28612 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28898-28902 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28728-28732 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27576-27580 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28259-28263 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28301-28305 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28847-28851 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28796-28800 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28762-28766 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |