monetaryWage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16968-16970 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16964-16964 | 货币工资 的 1 数量 是 机构 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16965-16965 | 货币工资 的 2 数量 是 人类 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16966-16966 | 货币工资 的 3 数量 是 持续时间 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16967-16967 | 货币工资 的 4 数量 是 货币测量 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16963-16963 | 货币工资 是 四元谓语 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1751-1751 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1750-1750 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 1749-1749 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38361-38361 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38360-38360 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 38359-38359 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16972-16974 |