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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ValidCard

 Sigma KEE - ValidCard
ValidCard(有效卡)

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3514-3514
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3513-3513 有效卡 是 银行卡 的 subclass

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3526-3526 过期的卡 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61184-61184
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61183-61183
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61182-61182

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3516-3523


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