TreeView Knowledge Base Browser - InsertionFee

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - InsertionFee

InsertionFee(insertion fee)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 204-207
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 201-201	Insertion 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 202-202

antecedent

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 220-230	If a process is an instance of insertion fee, then there exist an entity, another process and an agent such that the entity is an instance of web listing and the other process is an instance of list on site and the agent is an instance of agent and the entity is a patient of the other process and the other process causes the process and the agent is an agent of the process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 209-218	If a process is an instance of insertion fee, then there exist a web site, an agent and a web listing such that the web site is an instance of web site and the agent is an instance of agent and the web listing is an instance of web listing and the web listing is hosted on the web site and the agent possesses the web site and the agent is an agent of the process

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