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


KB Term:  Term intersection
English Word: 

  ShutdownFn

 Sigma KEE - ShutdownFn
ShutdownFn

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


(instance ShutdownFn UnaryFunction) QoSontology.kif 433-433 Shutdown is an instance of unary function
(domain ShutdownFn 1 ComputerProgram) QoSontology.kif 434-434 The number 1 argument of shutdown is an instance of computer program
(range ShutdownFn ShutdownBlock) QoSontology.kif 435-435 The range of shutdown is an instance of shutdown block
(documentation ShutdownFn EnglishLanguage "(ShutdownFn ?Program) returns an instance of ShutdownBlock which contains the instructions to end ?PROGRAM.") QoSontology.kif 436-437 The range of shutdown is an instance of shutdown block

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