quarter |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13203-13204 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13205-13205 | 例 25美分硬幣 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13206-13206 | 子關係 25美分硬幣 and 部分 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4314-4314 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4313-4313 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4312-4312 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48302-48302 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48301-48301 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 48300-48300 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13208-13213 | Object 是 Object 的 quarter Object Object 是 Object 的 half Object 是 Object 的 half |