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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ATMSlot

Sigma KEE - ATMSlot
ATMSlot(ATM插槽)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3660-3660
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8934-8934
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8357-8357
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3659-3659 ATM插槽subclass

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8922-8922
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8921-8921
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 8920-8920

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3662-3667
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3669-3676


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