TreeView Knowledge Base Browser - validPaymentType

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

validPaymentType

Sigma KEE - validPaymentType

validPaymentType

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 243-245
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 248-248	The number 1 argument of valid payment type is an instance of pricing scheme
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 249-249	The number 2 argument of valid payment type is a subclass of payment
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 242-242	valid payment type is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4914-4914
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4913-4913
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4912-4912
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 246-246

antecedent

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

Catalog.kif 337-352

If a process is an instance of buying and an entity is a patient of the process and the process originates at a cognitive agent and the price of another kind of entity from the cognitive agent according to a pricing scheme is a currency measure or the unit price charged the cognitive agent under the pricing scheme for a function quantity is another kind of entity and the other kind of entity is a subclass of physical and the entity is an immediate instance of the other kind of entity and a kind of payment is a valid payment under the pricing scheme,
then the statement there exists a kind of paymentMENT such that the kind of paymentMENT is an instance of the kind of payment and the kind of paymentMENT is a subprocess of the process has the modal force of likely

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