ChargingAFee - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 891-891
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 890-890	收费是金融交易的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 105-105	Corkage 是收费的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 232-232	FinalValueFee 是收费的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 201-201	InsertionFee 是收费的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 916-916	罚款是收费的 subclass
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 919-919	税是收费的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14190-14190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14189-14189
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14188-14188

appearance as argument number 3

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

FinancialOntology.kif 911-911

consequent

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

FinancialOntology.kif 900-907