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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tying

 Sigma KEE - Tying
Tying(打字)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5600-5601
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1276-1276
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5599-5599 打字 是 连接 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5604-5604 解开 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59732-59732
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59731-59731
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59730-59730


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