|
|
   CurrencyCoin
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3597-3598 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3596-3596 | CurrencyCoin e' uma sub-classe de Currency |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2907-2907 | AfghanAfghaniCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2909-2909 | BritishPoundCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2911-2911 | CanadianDollarCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2913-2913 | EuroCentCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2915-2915 | EuroDollarCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2917-2917 | FrenchFrancCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2919-2919 | GermanMarkCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2921-2921 | ItalianLiraCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2923-2923 | JapaneseYenCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2925-2925 | TajikSomoniCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2928-2928 | UnitedStatesCentCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2931-2931 | UnitedStatesFiveCentCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2937-2937 | UnitedStatesQuarterCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2934-2934 | UnitedStatesTenCentCoin e' uma sub-classe de CurrencyCoin |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18066-18066 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18065-18065 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 18064-18064 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3585-3585 | O conceito Currency e' completamente decomposto em CurrencyBill + CurrencyCoin |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3600-3605 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29474-29485 |
|
|
|
|