minCardinality |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2152-2154 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2156-2156 | minCardinality 的 1 数量 是 关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2157-2157 | minCardinality 的 2 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2158-2158 | minCardinality 的 3 数量 是 整数 的 instance |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2155-2155 | minCardinality 是 三元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3862-3862 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3861-3861 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3860-3860 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65875-65875 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2174-2187 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2161-2170 |