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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrencyCoin

 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 子類 貨幣硬幣 and 貨幣

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2907-2907 子類 阿富汗阿富汗硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2909-2909 子類 英鎊硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2911-2911 子類 加拿大元硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2913-2913 子類 歐元硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2915-2915 子類 歐元硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2917-2917 子類 法郎硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2919-2919 子類 德國馬克硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2921-2921 子類 意大利里拉硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2923-2923 子類 日元硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2925-2925 子類 塔吉克索莫尼硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2928-2928 子類 美國分硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2931-2931 子類 美國五美分硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2937-2937 子類 美國四分之一硬幣 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2934-2934 子類 美國十美分硬幣 and 貨幣硬幣
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 劃分 貨幣, 貨幣單 and 貨幣硬幣

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3600-3605