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 and Relation |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2157-2157 | 域 minCardinality, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2158-2158 | 域 minCardinality, 3 and Integer |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2155-2155 | 例 minCardinality and TernaryPredicate |
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 |
![]() |
![]() |