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

Formal Language: 



Term 1: Term 2:

(subclass Putting Transfer) Merge.kif 11194-11194
(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 3006-3006
(subclass Concealing Putting) Mid-level-ontology.kif 5723-5723
(subclass Dressing Putting) Mid-level-ontology.kif 5737-5737
(subclass Installing Putting) Mid-level-ontology.kif 15287-15287
(subclass Burying Putting) Mid-level-ontology.kif 15366-15366
(subclass Entombing Putting) Mid-level-ontology.kif 15408-15408
(subclass Diluting Putting) Mid-level-ontology.kif 17032-17032
(subclass Covering Putting) Merge.kif 11210-11210
(subclass Inserting Putting) Merge.kif 11217-11217
(subclass Wetting Putting) Merge.kif 12536-12536


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