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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Poking

 Sigma KEE - Poking
Poking(poking)boring, dig, drilling, gouge, impalement, incisive, jab, jabbing, lance, needle, oil_production, perforation, pinprick, poke, poking, prick, pricking, prod, puncture, riddle, sheathe, stab, thrust, thrusting, venipuncture

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3159-3160
No TPTP formula. May not be expressible in strict first order. Merge.kif 12482-12483
No TPTP formula. May not be expressible in strict first order. Merge.kif 12481-12481 Poking is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12493-12493 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1163-1163 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. english_format.kif 1543-1543 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. french_format.kif 841-841 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 373-373 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. terms-it.txt 376-376 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2525-2525 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 793-793 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 378-378 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 412-412 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. terms-de.txt 671-671 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 862-862 Cutting is a subclass of poking
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 377-377 Cutting is a subclass of poking

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12485-12491

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6235-6244


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