No TPTP formula. May not be expressible in strict first order. |
naics.kif 11596-11596 |
AllOtherTravelerAccommodation e' um sub-atributo de OtherTravelerAccommodation |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11590-11590 |
BedAndBreakfastInns e' um sub-atributo 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 |
|