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

Formal Language: 



KB Term:  Term intersection
English Word: 

  listedOn

 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 上市在 的 1 数量 是 股票 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1727-1727 上市在 的 2 数量 是 机构 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1728-1728 上市在 是 二元谓语 的 instance

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 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