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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TouchSurfaceTap

 Sigma KEE - Touching
Touching(接触)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3048-3049
No TPTP formula. May not be expressible in strict first order. Merge.kif 11528-11529
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1816-1817
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6925-6925
No TPTP formula. May not be expressible in strict first order. Merge.kif 11526-11526 接触 是 转移 的 subclass

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 284-284 接触 是 炭疽杆菌 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 201-201 接触 是 细菌剂 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 476-476 接触 是 发泡剂 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. WMD.kif 1859-1859 接触 是 拉萨病毒 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17128-17128 捕 是 接触 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11663-11663 拥抱 是 接触 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11549-11549 抓 是 接触 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11579-11579 碰撞 是 接触 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11627-11627 接吻 是 接触 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11652-11652 舔 是 接触 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5695-5695 按摩 是 接触 的 subclass
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1534-1534 TouchSurfaceAction 是 接触 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1127-1127
No TPTP formula. May not be expressible in strict first order. english_format.kif 1471-1471
No TPTP formula. May not be expressible in strict first order. french_format.kif 805-805
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 337-337
No TPTP formula. May not be expressible in strict first order. terms-it.txt 340-340
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2489-2489
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 757-757
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 342-342
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 376-376
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 826-826
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 341-341

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 11531-11538

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


No TPTP formula. May not be expressible in strict first order. Sports.kif 624-634
No TPTP formula. May not be expressible in strict first order. Sports.kif 711-732
No TPTP formula. May not be expressible in strict first order. Merge.kif 13684-13689


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