measure |
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 | |
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 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |