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

KB Term:  Term intersection
English Word: 

Sigma KEE - StartFn
StartFn

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


(documentation StartFn EnglishLanguage "(StartFn ?PROCESS) denotes IntentionalProcesses of bringing it about that Processes of type ?PROCESS begin, e.g. start working, begin running, etc.") Mid-level-ontology.kif 400-402
(instance StartFn UnaryFunction) Mid-level-ontology.kif 403-403 Start is an instance of unary function
(domain StartFn 1 Process) Mid-level-ontology.kif 404-404 The number 1 argument of start is an instance of process
(rangeSubclass StartFn IntentionalProcess) Mid-level-ontology.kif 405-405 The values returned by start are subclasses of intentional process

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


(format EnglishLanguage StartFn "the start of %1") domainEnglishFormat.kif 2341-2341
(format ChineseTraditionalLanguage StartFn "%1 的 start ") domainEnglishFormat.kif 2342-2342
(format ChineseLanguage StartFn "%1 的 start ") domainEnglishFormat.kif 2343-2343
(termFormat EnglishLanguage StartFn "start") domainEnglishFormat.kif 55063-55063
(termFormat ChineseTraditionalLanguage StartFn "開始") domainEnglishFormat.kif 55064-55064
(termFormat ChineseLanguage StartFn "开始") domainEnglishFormat.kif 55065-55065

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


(=>
    (instance ?S
        (StartFn ?P))
    (exists (?I)
        (and
            (instance ?I ?P)
            (starts
                (WhenFn ?S)
                (WhenFn ?I)))))		 Mid-level-ontology.kif 407-412 If X is an instance of the start of Y, then there exists Z such that Z is an instance of Y and the time of existence of X starts the time of existence of Z

consequent
-------------------------


(=>
    (instance ?M MatchDevice)
    (capability
        (StartFn Combustion) instrument ?M))		 Mid-level-ontology.kif 2514-2516 If X is an instance of match device, then X is capable of doing the start of burning as a instrument


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