No TPTP formula. May not be expressible in strict first order. |
naics.kif 10735-10737 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10931-10931 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10935-10935 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10934-10934 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10930-10930 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9998-9998 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10932-10932 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10933-10933 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10927-10927 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10936-10936 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10928-10928 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10929-10929 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10733-10733 |
ElementaryAndSecondarySchools est un sous-attribut de EducationalServices |