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

Formal Language: 



KB Term:  Term intersection
English Word: 

  shareHolder

Sigma KEE - shareHolder
shareHolder

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2124-2125
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2122-2122 The number 1 argument of share holder is an instance of share
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2123-2123 The number 2 argument of share holder is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2121-2121 share holder is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2259-2259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2258-2258
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2257-2257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52425-52425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52424-52424
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52423-52423


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