maxCardinality |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2189-2191 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2193-2193 | maxCardinality 的 1 数量 是 关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2194-2194 | maxCardinality 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2195-2195 | maxCardinality 的 3 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2192-2192 | maxCardinality 是 三元谓语 的 instance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3830-3830 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3829-3829 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3828-3828 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65870-65870 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2210-2223 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2198-2207 |
![]() |
![]() |