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


KB Term:  Term intersection
English Word: 

  AutomaticApplication

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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