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 417-419
(domain StartFn 1 Process)	Mid-level-ontology.kif 421-421	域開始, 1 and Process
(instance StartFn UnaryFunction)	Mid-level-ontology.kif 420-420	例開始 and UnaryFunction
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 422-422	範圍子類開始 and IntentionalProcess

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 55068-55068
(termFormat ChineseTraditionalLanguage StartFn "開始")	domainEnglishFormat.kif 55067-55067
(termFormat EnglishLanguage StartFn "start")	domainEnglishFormat.kif 55066-55066

antecedent

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

Mid-level-ontology.kif 424-429

例 Physical and Process 的 start
Physical 例 Physical and Process 啟動何時 Physical and 何時 Physical

consequent

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

Mid-level-ontology.kif 1939-1941

例 Object and 匹配設備
能力 Combustion 的 start , 儀器 and Object

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

KB Term:			Term intersection

English Word: