PerCapitaFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8057-8059 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8054-8054 | 域 PerCapitaFn, 1 and Quantity |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8055-8055 | 域 PerCapitaFn, 2 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8053-8053 | 例 PerCapitaFn and BinaryFunction |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8056-8056 | 範圍 PerCapitaFn and Quantity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4098-4098 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4097-4097 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4096-4096 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65303-65303 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8061-8074 |
|
![]() |
![]() |