memberCount |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22637-22638 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22634-22634 | 域 會員數, 1 and Collection |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22635-22635 | 域 會員數, 2 and Integer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22633-22633 | 例 會員數 and BinaryPredicate |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1683-1683 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1682-1682 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1681-1681 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37001-37001 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 37000-37000 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36999-36999 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 743-747 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7940-7947 |
|
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 4187-4195 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21952-21958 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22679-22683 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 2074-2078 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22640-22646 |
|
consequent |