monetaryWage |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16967-16969 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16963-16963 | 域 貨幣工資, 1 and Organization |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16964-16964 | 域 貨幣工資, 2 and Human |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16965-16965 | 域 貨幣工資, 3 and TimeDuration |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16966-16966 | 域 貨幣工資, 4 and CurrencyMeasure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16962-16962 | 例 貨幣工資 and QuaternaryPredicate |
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 16971-16973 |
|