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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WealthFn

Sigma KEE - WealthFn
WealthFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2670-2673
No TPTP formula. May not be expressible in strict first order. Merge.kif 7795-7799
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1390-1393
No TPTP formula. May not be expressible in strict first order. Merge.kif 7792-7792 O argumento numero 1 de WealthFn e' uma instancia de AutonomousAgent
No TPTP formula. May not be expressible in strict first order. Merge.kif 7791-7791 WealthFn e' uma instancia de Relacao Total
No TPTP formula. May not be expressible in strict first order. Merge.kif 7790-7790 WealthFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 7793-7793 O contra-dominio de WealthFn e' uma instancia de Medida de Divisa

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 663-663
No TPTP formula. May not be expressible in strict first order. english_format.kif 666-666
No TPTP formula. May not be expressible in strict first order. french_format.kif 398-398
No TPTP formula. May not be expressible in strict first order. relations-it.txt 313-313
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2128-2128
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 350-350
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 407-407
No TPTP formula. May not be expressible in strict first order. relations-de.txt 867-867
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 348-348
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 420-420
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 441-441
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 505-505
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62565-62565
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 664-664
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62564-62564
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62563-62563

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


No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223
No TPTP formula. May not be expressible in strict first order. Merge.kif 7801-7805

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7807-7811
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 871-873


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