No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13822-13823 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3174-3174 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3173-3173 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3170-3170 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2981-2981 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 3169-3169 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13821-13821 |
PassingA bill is a subclass of declaring |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13820-13820 |
PassingA bill is a subclass of political process |