TreeView Knowledge Base Browser - FinalValueFee

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FinalValueFee

FinalValueFee(final fee)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 235-238
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 232-232	Final fee is a subclass of chargingA fee

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 233-233

antecedent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 240-255

If a process is an instance of final fee,
then there exist a web listing, a financial transaction,, , an agent,, , an entity and a web site such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the web site and the agent possesses the web site and the agent facilitates the financial transaction

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