Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  pin

 Sigma KEE - pin
pin

appearance as argument number 1
-------------------------


(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

appearance as argument number 2
-------------------------


(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

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners