No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7207-7207 |
子類 融資 and 資金 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7226-7226 |
子類 獎學金 and 資金 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7242-7242 |
子類 福利 and 資金 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25208-25208 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25207-25207 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25206-25206 |
|