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 | O argumento numero 1 de minCardinality e' uma instancia de Relacao |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2157-2157 | O argumento numero 2 de minCardinality e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2158-2158 | O argumento numero 3 de minCardinality e' uma instancia de Numero Inteiro |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2155-2155 | minCardinality e' uma instancia de Predicado Ternario |
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 65877-65877 |
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 |
|