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 è una sottoclasse di Organizzazione |
appearance as argument number 2 |
(subclass BankFinancialOrganization FinancialOrganization) | FinancialOntology.kif 21-21 | BankFinancialOrganization è una sottoclasse di FinancialOrganization |
(subclass CreditUnion FinancialOrganization) | FinancialOntology.kif 28-28 | CreditUnion è una sottoclasse di FinancialOrganization |
(subclass SavingsAndLoans FinancialOrganization) | FinancialOntology.kif 35-35 | SavingsAndLoans è una sottoclasse di 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 | Il numero 2 argomenti di accountAt è un istanza di FinancialOrganization |
(domain serviceFee 1 FinancialOrganization) | FinancialOntology.kif 894-894 | Il numero 1 argomenti di serviceFee è un istanza di FinancialOrganization |
antecedent |
consequent |
(=> (instance ?Account FinancialAccount) (exists (?Organization) (and (instance ?Organization FinancialOrganization) (accountAt ?Account ?Organization)))) |
FinancialOntology.kif 69-74 |