No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 448-451 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 455-455 |
rentalPrice 的 2 数量 是 函数量 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 456-456 |
rentalPrice 的 3 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 457-457 |
rentalPrice 的 4 数量 是 PricingScheme 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 454-454 |
rentalPrice 的 1 数量 是 物理 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 447-447 |
rentalPrice 是 四元谓语 的 instance |