TreeView 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	ChargingAFee e' uma sub-classe de Transacao Financeira

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 105-105	Corkage e' uma sub-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 232-232	FinalValueFee e' uma sub-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 201-201	InsertionFee e' uma sub-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 916-916	Penalty e' uma sub-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 919-919	Tax e' uma sub-classe de ChargingAFee
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

O argumento numero 1 de amountCharged e' uma instancia de ChargingAFee

consequent

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

FinancialOntology.kif 900-907