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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Touching

Sigma KEE - Touching
Touching(touching)
French_kiss, adhere, adjoin, arousal, autoeroticism, autoerotism, ballottement, blowjob, boost_up, brace, brush, brushed, canoodle, caress, caressing, chafe, choke, chuck, clasp, claw, cleave, clench, clinch, cling, cling_to, close, clutch, cock_sucking, cohere, collar, come_together, connection, connexion, contact, cradle, crease, cuddle, cuddling, cunnilinctus, cunnilingus, dab, dandle, deep_kiss, disturb, effleurage, elbow, expression, fall, feel, fellatio...

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 11482-11483
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 11480-11480 Touching is a subclass of transfer

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 284-284 Touching is a biochemical agent delivery of bacillus anthracis
No TPTP formula. May not be expressible in strict first order. WMD.kif 201-201 Touching is a biochemical agent delivery of bacterial agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 476-476 Touching is a biochemical agent delivery of blister agent
No TPTP formula. May not be expressible in strict first order. WMD.kif 1859-1859 Touching is a biochemical agent delivery of lassa virus
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17101-17101 Catching is a subclass of touching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11636-11636 Embracing is a subclass of touching
No TPTP formula. May not be expressible in strict first order. Merge.kif 11503-11503 Grabbing is a subclass of touching
No TPTP formula. May not be expressible in strict first order. Merge.kif 11533-11533 Impacting is a subclass of touching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11600-11600 Kissing is a subclass of touching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11625-11625 Licking is a subclass of touching
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5701-5701 Massaging is a subclass of touching
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1534-1534 Touch surface action is a subclass of 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 11485-11492

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 13638-13643


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