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 7865-7869
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 7862-7862	The number 1 argument of wealth is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7861-7861	Wealth is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7860-7860	Wealth is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7863-7863	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 value of belongings of the agent is equal to 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 7871-7875	If value of belongings of an agent is equal to 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 7877-7881	If value of belongings of an agent is a currency measure, then value of belongings of the agent is equal to 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 the currency measure is equal to 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