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 | 子類 樸素 and 低地地區 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5743-5743 | 子類 沿海平原 and 樸素 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6678-6678 | 子類 草原 and 樸素 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6672-6672 | 子類 草原 and 樸素 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6688-6688 | 子類 稀樹草原 and 樸素 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6698-6698 | 子類 草原 and 樸素 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6728-6728 | 子類 苔原 and 樸素 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6714-6714 | 子類 大草原 and 樸素 |
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 |