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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Touching

 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 11504-11505
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 11502-11502 子類 Touching and Transfer

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 284-284 Touching 是 炭疽桿菌 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 201-201 Touching 是 細菌劑 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 476-476 Touching 是 發泡劑 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. WMD.kif 1859-1859 Touching 是 拉薩病毒 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17100-17100 子類 捕 and Touching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11635-11635 子類 擁抱 and Touching
No TPTP formula. May not be expressible in strict first order. Merge.kif 11525-11525 子類 抓 and Touching
No TPTP formula. May not be expressible in strict first order. Merge.kif 11555-11555 子類 Impacting and Touching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11599-11599 子類 接吻 and Touching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11624-11624 子類 舔 and Touching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5700-5700 子類 按摩 and Touching
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1534-1534 子類 TouchSurfaceAction and Touching
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 11507-11514

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


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