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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EnteringAPin
EnteringAPin

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
(subclass EnteringAPin ContentDevelopment) FinancialOntology.kif 3557-3557

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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