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

Formal Language: 



KB Term:  Term intersection
English Word: 

  taxDeferredIncome

 Sigma KEE - taxDeferredIncome
taxDeferredIncome

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3308-3310
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3305-3305 税收递延收入 的 1 数量 是 人类 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3306-3306 税收递延收入 的 2 数量 是 货币测量 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3307-3307 税收递延收入 的 3 数量 是 机构性过程 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3304-3304 税收递延收入 是 三元关系 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3303-3303 税收递延收入 是 赚的收入 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4734-4734
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4733-4733
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4732-4732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57055-57055
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57054-57054
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57053-57053

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3312-3321


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