No TPTP formula. May not be expressible in strict first order. |
naics.kif 11596-11596 |
AllOtherTravelerAccommodation est un sous-attribut de OtherTravelerAccommodation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11590-11590 |
BedAndBreakfastInns est un sous-attribut de OtherTravelerAccommodation |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43598-43598 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43597-43597 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43596-43596 |
|