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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Share
Share(share)share

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2064-2065
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2063-2063 Share is a subclass of security

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52396-52396
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52395-52395
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 52394-52394

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2072-2072 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 2068-2068 The number 1 argument of share of is an instance of share


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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