more pictures...
| Sweeping(掃)
more pictures... | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5559-5560 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10278-10278 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11922-11922 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11923-11923 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11925-11925 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11924-11924 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5558-5558 | 子類 掃 and Removing |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56517-56517 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56516-56516 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 56515-56515 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5562-5566 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1905-1911 |
|
|
|