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

Formal Language: 



Term 1: Term 2:

(subclass CommercialAgent AutonomousAgent) Merge.kif 16195-16195 CommercialAgent ist eine teilkategorie von AutonomousAgent
(subclass Business CommercialAgent) Merge.kif 16201-16201 Business ist eine teilkategorie von CommercialAgent


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