pin - Sigma Knowledge base Browser

consequent

(=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card) (instance ?Transaction FinancialTransaction) (instrument ?Transaction ?Card)) (exists (?PIN ?Enter) (and (pin ?PIN ?Card) (instance ?Enter EnteringAPin) (patient ?Enter ?PIN) (agent ?Enter ?Agent))))	FinancialOntology.kif 3601-3612	If X is an instance of debit card, Y possesses X, Z is an instance of financial transaction, and X is an instrument for Z, then there exist W, V such that X is a pin of W, V is an instance of entering a PIN, W is a patient of V, and Y is an agent of V
(=> (instance ?Enter EnteringAPin) (exists (?Pin ?Card) (and (pin ?Pin ?Card) (patient ?Enter ?Pin))))	FinancialOntology.kif 3619-3624	If X is an instance of entering a PIN, then there exist Y, Z such that Z is a pin of Y, and Y is a patient of X

(instance pin BinaryPredicate)	FinancialOntology.kif 3594-3594	pin is an instance of binary predicate
(subrelation pin represents)	FinancialOntology.kif 3595-3595	pin is a subrelation of represents
(domain pin 1 SymbolicString)	FinancialOntology.kif 3596-3596	The number 1 argument of pin is an instance of symbolic string
(domain pin 2 BankCard)	FinancialOntology.kif 3597-3597	The number 2 argument of pin is an instance of bank card
(documentation pin EnglishLanguage "(pin ?PIN ?Card) means that ?PIN is a personal identification number linked to the ?Card.")	FinancialOntology.kif 3598-3599	The number 2 argument of pin is an instance of bank card

(format EnglishLanguage pin "%2 is %n a pin of %1")	domainEnglishFormat.kif 1965-1965
(format ChineseTraditionalLanguage pin "%2 %n 是 %1 的 pin ")	domainEnglishFormat.kif 1966-1966
(format ChineseLanguage pin "%2 %n 是 %1 的 pin ")	domainEnglishFormat.kif 1967-1967
(termFormat EnglishLanguage pin "pin")	domainEnglishFormat.kif 45863-45863
(termFormat ChineseTraditionalLanguage pin "銷")	domainEnglishFormat.kif 45864-45864
(termFormat ChineseLanguage pin "销")	domainEnglishFormat.kif 45865-45865