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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TaxReturn

Sigma KEE - TaxReturn
TaxReturn(tax return)
more pictures...
income_tax_return, return, tax_return

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 930-931
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3208-3208
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3209-3209
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2996-2996
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3212-3212
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3210-3210
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3211-3211
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 929-929 Tax return is a subclass of form text

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57109-57109
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57108-57108
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57107-57107

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 933-942


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