No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31018-31023 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31025-31030 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31316-31323 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31179-31184 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31112-31117 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31157-31162 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31091-31096 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31060-31065 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31011-31016 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31208-31213 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31348-31353 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31230-31235 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31273-31278 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31079-31084 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31186-31191 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31215-31220 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31119-31124 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31164-31169 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31325-31332 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31053-31058 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31355-31360 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31237-31242 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31280-31285 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31098-31103 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31072-31077 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |