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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - listedOn
listedOn

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1724-1725
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1726-1726 The number 1 argument of listed on is an instance of stock
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1727-1727 The number 2 argument of listed on is an instance of organization
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1728-1728 listed on is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3770-3770
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3769-3769
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3768-3768
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34673-34673
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34672-34672
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 34671-34671

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1734-1738


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