pin |
appearance as argument number 1 |
![]() |
(documentation pin EnglishLanguage "(pin ?PIN ?Card) means that ?PIN is a personal identification number linked to the ?Card.") | FinancialOntology.kif 3437-3438 | |
(domain pin 1 SymbolicString) | FinancialOntology.kif 3435-3435 | The number 1 argument of pin is an instance of symbolic string |
(domain pin 2 BankCard) | FinancialOntology.kif 3436-3436 | The number 2 argument of pin is an instance of bank card |
(instance pin BinaryPredicate) | FinancialOntology.kif 3433-3433 | pin is an instance of binary predicate |
(subrelation pin represents) | FinancialOntology.kif 3434-3434 | pin is a subrelation of represents |
appearance as argument number 2 |
![]() |
(format ChineseLanguage pin "%2 %n 是 %1 的 pin ") | domainEnglishFormat.kif 1963-1963 | |
(format ChineseTraditionalLanguage pin "%2 %n 是 %1 的 pin ") | domainEnglishFormat.kif 1962-1962 | |
(format EnglishLanguage pin "%2 is %n a pin of %1") | domainEnglishFormat.kif 1961-1961 | |
(termFormat ChineseLanguage pin "销") | domainEnglishFormat.kif 45805-45805 | "销" is the printable form of pin in ChineseLanguage |
(termFormat ChineseTraditionalLanguage pin "銷") | domainEnglishFormat.kif 45804-45804 | "銷" is the printable form of pin in ChineseTraditionalLanguage |
(termFormat EnglishLanguage pin "pin") | domainEnglishFormat.kif 45803-45803 | "pin" is the printable form of pin in english language |
consequent |
![]() |
![]() |
![]() |