No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13850-13851 |
|
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 13849-13849 |
PassingA bill is a subclass of declaring |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13848-13848 |
PassingA bill is a subclass of political process |