No TPTP formula. May not be expressible in strict first order. |
naics.kif 11064-11067 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8333-8333 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8852-8852 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8853-8853 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8854-8854 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8855-8855 |
|
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11062-11062 |
AmbulanceServices est un sous-attribut de OtherAmbulatoryHealthCareServices |