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

Formal Language: 



Term 1: Term 2:

(subclass Transaction ChangeOfPossession) Merge.kif 11831-11831 Transaction ist eine teilkategorie von ChangeOfPossession
(subclass Transaction DualObjectProcess) Merge.kif 11832-11832 Transaction ist eine teilkategorie von DualObjectProcess
(subclass FinancialTransaction Transaction) Merge.kif 11856-11856 FinancialTransaction ist eine teilkategorie von Transaction


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