Infiltration(浸润) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21940-21942 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4973-4973 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4874-4874 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4974-4974 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21939-21939 | 浸润 是 加入一个机构 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29977-29977 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29976-29976 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29975-29975 |