Atom(atom) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28975-28979 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28424-28428 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28330-28334 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28995-28999 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27397-27401 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28768-28772 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28346-28350 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27763-27767 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27781-27785 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28622-28626 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28494-28498 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27276-27280 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28399-28403 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27260-27264 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28068-28072 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28133-28137 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28572-28576 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27683-27687 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27844-27848 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28210-28214 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29046-29050 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28682-28686 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27292-27296 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28472-28476 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27448-27452 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |