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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Massaging
Massaging(massaging)
more pictures...
massage

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5702-5704
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6690-6690
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7273-7273
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7274-7274
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7275-7275
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7276-7276
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7277-7277
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7278-7278
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7279-7279
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7280-7280
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7281-7281
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7282-7282
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7283-7283
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7284-7284
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5700-5700 Massaging is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5701-5701 Massaging is a subclass of touching

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36413-36413
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36412-36412
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36411-36411

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2320-2326


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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