FinancialOrganization |
appearance as argument number 1 |
(documentation FinancialOrganization EnglishLanguage "The class FinancialOrganization includes, as subclasses, BankFinancialOrganization, CreditUnion and SavingsAnLoans.") | FinancialOntology.kif 18-19 | |
(subclass FinancialOrganization Organization) | FinancialOntology.kif 17-17 | FinancialOrganization e' uma sub-classe de Organizacao |
appearance as argument number 2 |
(subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 21-21 | BankFinancialOrganization e' uma sub-classe de FinancialOrganization |
(subclass CreditUnion FinancialOrganization) | FinancialOntology.kif 28-28 | CreditUnion e' uma sub-classe de FinancialOrganization |
(subclass SavingsAndLoans FinancialOrganization) | FinancialOntology.kif 35-35 | SavingsAndLoans e' uma sub-classe de FinancialOrganization |
(termFormat ChineseLanguage FinancialOrganization "金融机构") | domainEnglishFormat.kif 23786-23786 | |
(termFormat ChineseTraditionalLanguage FinancialOrganization "金融機構") | domainEnglishFormat.kif 23785-23785 | |
(termFormat EnglishLanguage FinancialOrganization "financial organization") | domainEnglishFormat.kif 23784-23784 |
appearance as argument number 3 |
(domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 231-231 | O argumento numero 2 de accountAt e' uma instancia de FinancialOrganization |
(domain serviceFee 1 FinancialOrganization) | FinancialOntology.kif 894-894 | O argumento numero 1 de serviceFee e' uma instancia de FinancialOrganization |
antecedent |
consequent |
(=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 69-74 |