propertyAmenity |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 497-498 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 501-501 | propertyAmenity 的 1 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 502-502 | propertyAmenity 的 2 数量 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 496-496 | propertyAmenity 是 二元谓语 的 instance |
appearance as argument number 2 |
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 是 propertyAmenity 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 563-563 | paidPropertyAmenity 是 propertyAmenity 的 subrelation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 499-499 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 522-538 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2231-2238 |