No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4258-4258 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4257-4257 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 4256-4256 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 540-540 |
freePropertyAmenity est une sous-relation de propertyAmenity |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 563-563 |
paidPropertyAmenity est une sous-relation de propertyAmenity |
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 499-499 |
|