phoneNumber |
appearance as argument number 1 |
(documentation phoneNumber EnglishLanguage "(phoneNumber ?Phone ?Agent) holds if ?Phone is a phone number corresponding to the Telephone ?Phone.") | FinancialOntology.kif 3682-3683 | |
(domain phoneNumber 1 SymbolicString) | FinancialOntology.kif 3680-3680 | Le nombre 1 argument de phoneNumber est une instance de cha�ne sympbolique |
(domain phoneNumber 2 Telephone) | FinancialOntology.kif 3681-3681 | Le nombre 2 argument de phoneNumber est une instance de Telephone |
(instance phoneNumber BinaryPredicate) | FinancialOntology.kif 3678-3678 | phoneNumber est une instance de pr�dicat binaire |
(subrelation phoneNumber refers) | FinancialOntology.kif 3679-3679 | phoneNumber est une sous-relation de refers |
appearance as argument number 2 |
(format ChineseLanguage phoneNumber "%2 %n 是 %1 的 phone 号码") | domainEnglishFormat.kif 1959-1959 | |
(format ChineseTraditionalLanguage phoneNumber "%2 %n 是 %1 的 phone 號碼") | domainEnglishFormat.kif 1958-1958 | |
(format EnglishLanguage phoneNumber "%2 is %n a phone number of %1") | domainEnglishFormat.kif 1957-1957 | |
(termFormat ChineseLanguage phoneNumber "电话号码") | domainEnglishFormat.kif 45594-45594 | |
(termFormat ChineseTraditionalLanguage phoneNumber "電話號碼") | domainEnglishFormat.kif 45593-45593 | |
(termFormat EnglishLanguage phoneNumber "phone number") | domainEnglishFormat.kif 45592-45592 |
consequent |