Day(日) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24233-24233 | 生日 的 2 数量 是 日 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 851-851 | 白天小时间隔 的 2 数量 是 日 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 861-861 | 白天的总时数 的 2 数量 是 日 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24192-24192 | weddingAnniversary 的 2 数量 是 日 的 subclass |