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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(domain pin 2 BankCard) FinancialOntology.kif 3539-3539
(instance pin BinaryPredicate) FinancialOntology.kif 3536-3536
(subrelation pin represents) FinancialOntology.kif 3537-3537

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 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