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	StartFn の数値 1 引数は工程の instance では %n
(instance StartFn UnaryFunction)	Mid-level-ontology.kif 420-420	StartFn は 1変数関数の instance では %n
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 422-422	StartFn が返す値は意図的なプロセスの subclasses では %n

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

物理は StartFn 工程の instance では %n
物理物理は工程の instance では %n 物理の time の existence は物理の time の existence を starts %n{ない}

consequent

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

Mid-level-ontology.kif 1939-1941

オブジェクトは MatchDevice の instance では %n
オブジェクトは StartFn 燃焼を instrument として行う capable では %n

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

KB Term:			Term intersection

English Word: