No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13931-13934 |
|
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 13929-13929 |
LawEnforcement est une sous-classe de processus polotique |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13930-13930 |
LawEnforcement est une sous-classe de processus de r�gulation |