TreeView 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
(instance StartFn UnaryFunction)	Mid-level-ontology.kif 413-413
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 415-415

appearance as argument number 2

(format ChineseLanguage StartFn "%1 的 start ")	domainEnglishFormat.kif 2339-2339
(format ChineseTraditionalLanguage StartFn "%1 的 start ")	domainEnglishFormat.kif 2338-2338
(format EnglishLanguage StartFn "the start of %1")	domainEnglishFormat.kif 2337-2337
(termFormat ChineseLanguage StartFn "开始")	domainEnglishFormat.kif 55070-55070
(termFormat ChineseTraditionalLanguage StartFn "開始")	domainEnglishFormat.kif 55069-55069
(termFormat EnglishLanguage StartFn "start")	domainEnglishFormat.kif 55068-55068

antecedent

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

Mid-level-ontology.kif 417-422

consequent

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

Mid-level-ontology.kif 1932-1934

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

KB Term:			Term intersection

English Word: