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

Formal Language: 



Term 1: Term 2:

(subclass SentientAgent AutonomousAgent) Merge.kif 1566-1566 SentientAgent ist eine teilkategorie von AutonomousAgent
(subclass CognitiveAgent SentientAgent) Merge.kif 1576-1576 CognitiveAgent ist eine teilkategorie von SentientAgent


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