accountAt |
appearance as argument number 1 |
(documentation accountAt EnglishLanguage "(accountAt ?Account ?Bank) means that ?Account is a FinancialAccount opened in the FinancialOrganization ?Bank.") | FinancialOntology.kif 232-233 | |
(domain accountAt 1 FinancialAccount) | FinancialOntology.kif 230-230 | Il numero 1 argomenti di accountAt è un istanza di FinancialAccount |
(domain accountAt 2 FinancialOrganization) | FinancialOntology.kif 231-231 | Il numero 2 argomenti di accountAt è un istanza di FinancialOrganization |
(instance accountAt BinaryPredicate) | FinancialOntology.kif 229-229 | accountAt è un' istanza di PredicatoBinario |
(subrelation accountAt partyToAgreement) | FinancialOntology.kif 228-228 | accountAt è una sottorelazione di partyToAgreement |
appearance as argument number 2 |
(format ChineseLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2674-2674 | |
(format ChineseTraditionalLanguage accountAt "%1 %n 是被 %2 held ") | domainEnglishFormat.kif 2673-2673 | |
(format EnglishLanguage accountAt "%1 is held by %2") | domainEnglishFormat.kif 2672-2672 | |
(termFormat ChineseLanguage accountAt "帐号在") | domainEnglishFormat.kif 5238-5238 | |
(termFormat ChineseTraditionalLanguage accountAt "帳號在") | domainEnglishFormat.kif 5237-5237 | |
(termFormat EnglishLanguage accountAt "account at") | domainEnglishFormat.kif 5236-5236 |
antecedent |
consequent |