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

Formal Language: 



KB Term:  Term intersection
English Word: 

  stockSymbol

Sigma KEE - stockSymbol
stockSymbol

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3445-3447
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3443-3443 股票的符號, 1 and 股票
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3444-3444 股票的符號, 2 and SymbolicString
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3442-3442 股票的符號 and BinaryPredicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2367-2367
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2366-2366
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2365-2365
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55442-55442
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55441-55441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55440-55440


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