Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  pin

Sigma KEE - pin
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 3540-3541
(domain pin 1 SymbolicString) FinancialOntology.kif 3538-3538 pin の数値 1 引数は 記号文字列instance では %n
(domain pin 2 BankCard) FinancialOntology.kif 3539-3539 pin の数値 2 引数は BankCardinstance では %n
(instance pin BinaryPredicate) FinancialOntology.kif 3536-3536 pin2進述語instance では %n
(subrelation pin represents) FinancialOntology.kif 3537-3537 pinrepresentssubrelation では %n

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 45870-45870
(termFormat ChineseTraditionalLanguage pin "銷") domainEnglishFormat.kif 45869-45869
(termFormat EnglishLanguage pin "pin") domainEnglishFormat.kif 45868-45868

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 3543-3554
(=>
    (instance ?Enter EnteringAPin)
    (exists (?Pin ?Card)
        (and
            (pin ?Pin ?Card)
            (patient ?Enter ?Pin))))
FinancialOntology.kif 3561-3566


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 is open source software produced by Articulate Software and its partners