Amu(amu) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28987-28991 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28436-28440 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28342-28346 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29007-29011 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27409-27413 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28780-28784 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28358-28362 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27775-27779 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27793-27797 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28634-28638 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28506-28510 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27288-27292 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28411-28415 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27272-27276 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28080-28084 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28145-28149 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28584-28588 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27695-27699 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27856-27860 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28222-28226 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29058-29062 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28694-28698 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27304-27308 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28484-28488 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27460-27464 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |