No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31042-31047 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31049-31054 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31348-31355 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31211-31216 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31136-31141 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31189-31194 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31115-31120 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31084-31089 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31035-31040 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31240-31245 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31380-31385 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31262-31267 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31305-31310 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31103-31108 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31218-31223 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31247-31252 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31143-31148 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31196-31201 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31357-31364 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31077-31082 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31387-31392 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31269-31274 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31312-31317 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31122-31127 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31096-31101 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |