TreeView Knowledge Base Browser - WealthFn

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 7880-7884
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 7877-7877	The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7876-7876	Wealth is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7875-7875	Wealth is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7878-7878	The range of wealth is an instance of currency measure

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 62559-62559
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 62558-62558
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62557-62557
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 260-260

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 204-223	If muslim is an attribute of an agent and equal value of belongings of the agent and a currency measure, then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7886-7890	If equal value of belongings of an agent and a currency measure, then value of belongings of the agent is the currency measure

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7892-7896	If value of belongings of an agent is a currency measure, then equal value of belongings of the agent and the currency measure
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 873-875	If a cognitive agent is &etWorth$"net" worth a currency measure for a day, then equal the currency measure and value of belongings of the cognitive agent holds during the day

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