No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3600-3605 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3596-3596 | CurrencyCoin est une sous-classe de Currency |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2907-2907 | AfghanAfghaniCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2909-2909 | BritishPoundCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2911-2911 | CanadianDollarCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2913-2913 | EuroCentCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2915-2915 | EuroDollarCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2917-2917 | FrenchFrancCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2919-2919 | GermanMarkCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2921-2921 | ItalianLiraCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2923-2923 | JapaneseYenCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2925-2925 | TajikSomoniCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2928-2928 | UnitedStatesCentCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2931-2931 | UnitedStatesFiveCentCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2934-2934 | UnitedStatesTenCentCoin est une sous-classe de CurrencyCoin |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 2937-2937 | UnitedStatesQuarterCoin est une sous-classe de CurrencyCoin |