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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Printer

Sigma KEE - EnteringAPin
EnteringAPin(输入PIN码)

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


(documentation EnteringAPin EnglishLanguage "A subclass of AuthorizationOfTransaction where a customer enters his/ her personal identification number.") FinancialOntology.kif 3558-3559
(subclass EnteringAPin AuthorizationOfTransaction) FinancialOntology.kif 3556-3556 输入PIN码交易授权subclass
(subclass EnteringAPin ContentDevelopment) FinancialOntology.kif 3557-3557 输入PIN码内容制作subclass

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


(termFormat ChineseLanguage EnteringAPin "输入PIN码") domainEnglishFormat.kif 22192-22192
(termFormat ChineseTraditionalLanguage EnteringAPin "輸入PIN碼") domainEnglishFormat.kif 22191-22191
(termFormat EnglishLanguage EnteringAPin "entering a PIN") domainEnglishFormat.kif 22190-22190

antecedent
-------------------------


(=>
    (instance ?Enter EnteringAPin)
    (exists (?Pin ?Card)
        (and
            (pin ?Pin ?Card)
            (patient ?Enter ?Pin))))
FinancialOntology.kif 3561-3566

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


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