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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElectricalCircuit

Sigma KEE - Receipt
Receipt

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


(documentation Receipt EnglishLanguage "A written acknowledgment that a specified article, sum of money, or shipment of merchandise has been received.") FinancialOntology.kif 3973-3974
(externalImage Receipt "http://upload.wikimedia.org/wikipedia/commons/3/ 35/ Receipt.agr.jpg") pictureList.kif 157-157
(subclass Receipt FinancialInstrument) FinancialOntology.kif 3972-3972

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


(termFormat ChineseLanguage Receipt "收据") domainEnglishFormat.kif 48946-48946
(termFormat ChineseTraditionalLanguage Receipt "收據") domainEnglishFormat.kif 48945-48945
(termFormat EnglishLanguage Receipt "receipt") domainEnglishFormat.kif 48944-48944


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