Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Putting Transfer) Merge.kif 11274-11274
(subclass DeployingWeaponOfMassDestruction Putting) WMD.kif 671-671
(subclass Planting Putting) Geography.kif 2506-2506
(subclass Siltation Putting) Geography.kif 2770-2770
(subclass Lubricating Putting) Cars.kif 2965-2965
(subclass Concealing Putting) Mid-level-ontology.kif 5727-5727
(subclass Dressing Putting) Mid-level-ontology.kif 5741-5741
(subclass Installing Putting) Mid-level-ontology.kif 15588-15588
(subclass Burying Putting) Mid-level-ontology.kif 15667-15667
(subclass Entombing Putting) Mid-level-ontology.kif 15709-15709
(subclass Diluting Putting) Mid-level-ontology.kif 17333-17333
(subclass Covering Putting) Merge.kif 11290-11290
(subclass Inserting Putting) Merge.kif 11297-11297
(subclass Wetting Putting) Merge.kif 12615-12615


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners