Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AutomaticApplication
AutomaticApplication(automatic application)
more pictures...

appearance as argument number 1
-------------------------


(subclass AutomaticApplication ComputerProgram) QoSontology.kif 672-672 Automatic application is a subclass of computer program
(documentation AutomaticApplication EnglishLanguage "A program which is started automatically, as opposed to an application started in response to some condition becoming true.") QoSontology.kif 673-675 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ b/ b5/ Program.png") pictureList.kif 9895-9895 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 55/ Ding-_Dictionary_Lookup.jpg") pictureList.kif 10460-10460 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Chatzilla_query_view.png") pictureList.kif 10461-10461 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ e/ e3/ Screenshot_htop.png") pictureList.kif 10462-10462 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ f/ f6/ ClawsMail_rs.png") pictureList.kif 10464-10464 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ b/ bc/ Amsn.png") pictureList.kif 10465-10465 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 62/ Gajim_roster2.png") pictureList.kif 10466-10466 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Miranda_IM_contact_list.png") pictureList.kif 10467-10467 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Amarok-1.png") pictureList.kif 10468-10468 Automatic application is a subclass of computer program
(externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8a/ Bsod_nt.png") pictureList.kif 10469-10469 Automatic application is a subclass of computer program

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AutomaticApplication "automatic application") domainEnglishFormat.kif 9166-9166
(termFormat ChineseTraditionalLanguage AutomaticApplication "自動申請") domainEnglishFormat.kif 9167-9167
(termFormat ChineseLanguage AutomaticApplication "自动申请") domainEnglishFormat.kif 9168-9168

antecedent
-------------------------


(=>
    (and
        (instance ?Application AutomaticApplication)
        (instance ?System SoftwareSystem)
        (part ?Application ?System))
    (part
        (StartupFn ?Application)
        (StartupFn ?System)))		 QoSontology.kif 680-685 If X is an instance of automatic application, Y is an instance of software system, and X is a part of Y, then the startup of X is a part of the startup of Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners