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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ByteDance

 Sigma KEE - ByteDance
ByteDance(ByteDance)

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4554-4554 ByteDance created TikTok
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4585-4585 ByteDance created Toutiao
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4560-4568
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4571-4571 The headquarters of ByteDance is in Beijing
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4559-4559 ByteDance is an instance of corporation

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4570-4570


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