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 | O argumento numero 1 de phoneNumber e' uma instancia de Sequencia Simbolica |
(domain phoneNumber 2 Telephone) | FinancialOntology.kif 3681-3681 | O argumento numero 2 de phoneNumber e' uma instancia de Telephone |
(instance phoneNumber BinaryPredicate) | FinancialOntology.kif 3678-3678 | phoneNumber e' uma instancia de Predicado Binario |
(subrelation phoneNumber refers) | FinancialOntology.kif 3679-3679 | phoneNumber e' uma sub-relacao 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 45596-45596 | |
(termFormat ChineseTraditionalLanguage phoneNumber "電話號碼") | domainEnglishFormat.kif 45595-45595 | |
(termFormat EnglishLanguage phoneNumber "phone number") | domainEnglishFormat.kif 45594-45594 |
consequent |