Plain(朴素) more pictures... |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4219-4220 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7582-7582 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6770-6770 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7579-7579 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7578-7578 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7583-7583 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7580-7580 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7581-7581 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4218-4218 | 朴素 是 低地地区 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5743-5743 | 沿海平原 是 朴素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6678-6678 | 草原 是 朴素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6672-6672 | 草原 是 朴素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6688-6688 | 稀树草原 是 朴素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6698-6698 | 草原 是 朴素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6728-6728 | 苔原 是 朴素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6714-6714 | 大草原 是 朴素 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46008-46008 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46007-46007 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 46006-46006 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4222-4224 |