StartFn - Sigma Knowledge base Browser

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 410-412
(domain StartFn 1 Process)	Mid-level-ontology.kif 414-414	The number 1 argument of start is an instance of process
(instance StartFn UnaryFunction)	Mid-level-ontology.kif 413-413	Start is an instance of unary function
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 415-415	The values returned by start are subclasses of intentional process

appearance as argument number 2

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

antecedent

(=>
    (instance ?S
        (StartFn ?P))
    (exists (?I)
        (and
            (instance ?I ?P)
            (starts
                (WhenFn ?S)
                (WhenFn ?I)))))

Mid-level-ontology.kif 417-422

If a physical is an instance of the start of a process,
then there exists another physical such that the other physical is an instance of the process and the time of existence of the physical starts the time of existence of the other physical

consequent

(=>
    (instance ?M MatchDevice)
    (capability
        (StartFn Combustion) instrument ?M))

Mid-level-ontology.kif 2005-2007

If an object is an instance of match device,
then the object 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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: