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

Formal Language: 



Term 1: Term 2:

(subclass LoggingIn UserDirectAction) ComputingBrands.kif 3959-3959 LoggingIn ist eine teilkategorie von UserDirectAction
(subclass UserPasswordLogin LoggingIn) ComputingBrands.kif 4004-4004 UserPasswordLogin ist eine teilkategorie von LoggingIn
(subclass TwoFactorLoggingIn LoggingIn) ComputingBrands.kif 4293-4293 TwoFactorLoggingIn ist eine teilkategorie von LoggingIn


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