No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13904-13907 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6664-6664 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7166-7166 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7167-7167 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7168-7168 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7169-7169 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7171-7171 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7172-7172 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7173-7173 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7174-7174 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7176-7176 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7177-7177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7179-7179 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13902-13902 |
执法 是 政治过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13903-13903 |
执法 是 监管过程 的 subclass |