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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CurrencyBill

 Sigma KEE - CurrencyBill
CurrencyBill(貨幣單)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3586-3587
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3842-3842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3683-3683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3584-3584 子類 貨幣單 and 貨幣

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3585-3585 劃分 貨幣, 貨幣單 and 貨幣硬幣
No TPTP formula. May not be expressible in strict first order. Economy.kif 2940-2940 子類 美國美元的鈔票 and 貨幣單
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18054-18054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18053-18053
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18052-18052

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


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


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

Show without tree


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