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

Formal Language: 



Term 1: Term 2:

(subclass Transaction ChangeOfPossession) Merge.kif 11809-11809 Transaction ist eine teilkategorie von ChangeOfPossession
(subclass Transaction DualObjectProcess) Merge.kif 11810-11810 Transaction ist eine teilkategorie von DualObjectProcess
(subclass FinancialTransaction Transaction) Merge.kif 11834-11834 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