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 | 域 電話號碼, 1 and SymbolicString |
(domain phoneNumber 2 Telephone) | FinancialOntology.kif 3681-3681 | 域 電話號碼, 2 and 電話 |
(instance phoneNumber BinaryPredicate) | FinancialOntology.kif 3678-3678 | 例 電話號碼 and BinaryPredicate |
(subrelation phoneNumber refers) | FinancialOntology.kif 3679-3679 | 子關係 電話號碼 and 參照 |
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 |