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

Formal Language: 



KB Term:  Term intersection
English Word: 

  pin

 Sigma KEE - pin
pin

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3540-3541
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3538-3538 域 銷, 1 and SymbolicString
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3539-3539 域 銷, 2 and 銀行卡
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3536-3536 例 銷 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3537-3537 子關係 銷 and 代表

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1963-1963
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1962-1962
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 1961-1961
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45870-45870
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45869-45869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 45868-45868

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