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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Currency
Currency(currency)
cash, currency, hard_cash, hard_currency, money, peag, wampum, wampumpeag

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3573-3574
No TPTP formula. May not be expressible in strict first order. Merge.kif 15651-15652
No TPTP formula. May not be expressible in strict first order. pictureList.kif 326-326
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3837-3837
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3840-3840
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3585-3585 Currency is exhaustively partitioned into currency bill and coin
No TPTP formula. May not be expressible in strict first order. Merge.kif 15650-15650 Currency is a subclass of financial instrument

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3584-3584 Currency bill is a subclass of currency
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3596-3596 Coin is a subclass of currency
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18048-18048
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18047-18047
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18046-18046

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Economy.kif 3602-3602 The number 1 argument of currency value is a subclass of currency

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3838-3852
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1986-1995
No TPTP formula. May not be expressible in strict first order. Merge.kif 15654-15657
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3481-3484

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11702-11707
No TPTP formula. May not be expressible in strict first order. Dining.kif 457-462
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1974-1984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1959-1972


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