Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CurrencyCoin
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 货币硬币 是 货币 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 2907-2907 阿富汗阿富汗硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2909-2909 英镑硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2911-2911 加拿大元硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2913-2913 欧元硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2915-2915 欧元硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2917-2917 法郎硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2919-2919 德国马克硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2921-2921 意大利里拉硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2923-2923 日元硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2925-2925 塔吉克索莫尼硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2928-2928 美国分硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2931-2931 美国五美分硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2937-2937 美国四分之一硬币 是 货币硬币 的 subclass
No TPTP formula. May not be expressible in strict first order. Economy.kif 2934-2934 美国十美分硬币 是 货币硬币 的 subclass
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 货币 详尽无遗地 partition 成 货币单 和 货币硬币

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners