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	开始的 1 数量是过程的 instance
(instance StartFn UnaryFunction)	Mid-level-ontology.kif 413-413	开始是一元函数的 instance
(rangeSubclass StartFn IntentionalProcess)	Mid-level-ontology.kif 415-415	开始的所得值是有意图过程的 subclass

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

如果物理是过程的 start 的 instance，
然后有存在另一个物理这样那个另外物理是那个过程的 instance 和那个物理出现的 time starts了才到那个另外物理出现的 time

consequent

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

Mid-level-ontology.kif 1932-1934

如果客体是匹配设备的 instance，
然后那个客体能够担当工具的角色做燃烧的 start

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

KB Term:			Term intersection

English Word: