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 | phoneNumber の数値 1 引数は 記号文字列 の instance では %n |
(domain phoneNumber 2 Telephone) | FinancialOntology.kif 3681-3681 | phoneNumber の数値 2 引数は Telephone の instance では %n |
(instance phoneNumber BinaryPredicate) | FinancialOntology.kif 3678-3678 | phoneNumber は 2進述語 の instance では %n |
(subrelation phoneNumber refers) | FinancialOntology.kif 3679-3679 | phoneNumber は refers の subrelation では %n |
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 45596-45596 | |
(termFormat ChineseTraditionalLanguage phoneNumber "電話號碼") | domainEnglishFormat.kif 45595-45595 | |
(termFormat EnglishLanguage phoneNumber "phone number") | domainEnglishFormat.kif 45594-45594 |
consequent |