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

Formal Language: 



Term 1: Term 2:

(subclass Getting ChangeOfPossession) Merge.kif 11775-11775 Getting ist eine teilkategorie von ChangeOfPossession
(subclass FoodDistributionOperation Getting) Military.kif 51-51 FoodDistributionOperation ist eine teilkategorie von Getting
(subclass UnilateralGetting Getting) Merge.kif 11787-11787 UnilateralGetting ist eine teilkategorie von Getting
(subclass Borrowing Getting) Merge.kif 11803-11803 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