Sieve(筲箕) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4524-4525 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4526-4526 | 筲箕 是 有孔容器 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64360-64360 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64361-64361 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64359-64359 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4528-4543 |
|