TreeView Knowledge Base Browser

appearance as argument number 1

(documentation StopFn EnglishLanguage "(StopFn ?PROCESS) denotes IntentionalProcesses of bringing it about that Processes of type ?PROCESS end, e.g. stop walking, quit working, etc.")	Mid-level-ontology.kif 424-426
(domain StopFn 1 Process)	Mid-level-ontology.kif 428-428	O argumento numero 1 de StopFn e' uma instancia de Processo
(instance StopFn UnaryFunction)	Mid-level-ontology.kif 427-427	StopFn e' uma instancia de funcao Unaria
(rangeSubclass StopFn IntentionalProcess)	Mid-level-ontology.kif 429-429	Os valores retornados por StopFn sao as sub-classes de Processo Intencional

appearance as argument number 2

(format ChineseLanguage StopFn "%1 的 stop ")	domainEnglishFormat.kif 2371-2371
(format ChineseTraditionalLanguage StopFn "%1 的 stop ")	domainEnglishFormat.kif 2370-2370
(format EnglishLanguage StopFn "the stop of %1")	domainEnglishFormat.kif 2369-2369
(termFormat ChineseLanguage StopFn "停")	domainEnglishFormat.kif 55478-55478
(termFormat ChineseTraditionalLanguage StopFn "停")	domainEnglishFormat.kif 55477-55477
(termFormat EnglishLanguage StopFn "stop")	domainEnglishFormat.kif 55476-55476

antecedent

(=>
    (instance ?S
        (StopFn ?P))
    (exists (?I)
        (and
            (instance ?I ?P)
            (finishes
                (WhenFn ?S)
                (WhenFn ?I)))))

Mid-level-ontology.kif 431-436

Fisico e' uma instancia de StopFn Processo
Fisico Fisico e' uma instancia de Processo tempo de existencia de Fisico termina em tempo de existencia de Fisico

consequent

(=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B)))))	Mid-level-ontology.kif 3409-3419	Objeto e' uma instancia de VehicleBrake Objeto e' uma instancia de Vehicle Objeto e' uma &parte de Objeto Objeto tem por fim Entidade Entidade e' uma instancia de StopFn Movimento Objeto e' um patient de Entidade Objeto e' um instrumento para Entidade
(=> (instance ?FE FireExtinguisher) (hasPurpose ?FE (exists (?PROC) (and (instance ?PROC (StopFn Fire)) (instrument ?PROC ?FE)))))	Mid-level-ontology.kif 25538-25545	Fisico e' uma instancia de FireExtinguisher Fisico tem por fim Entidade Entidade e' uma instancia de StopFn Fire Fisico e' um instrumento para Entidade

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

KB Term:			Term intersection

English Word: