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

Formal Language: 



Term 1: Term 2:

(subclass Getting ChangeOfPossession) Merge.kif 11797-11797 Getting ist eine teilkategorie von ChangeOfPossession
(subclass FoodDistributionOperation Getting) Military.kif 51-51 FoodDistributionOperation ist eine teilkategorie von Getting
(subclass UnilateralGetting Getting) Merge.kif 11809-11809 UnilateralGetting ist eine teilkategorie von Getting
(subclass Borrowing Getting) Merge.kif 11825-11825 Borrowing ist eine teilkategorie von Getting


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