TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ReflexiveProcess AutonomicProcess)	Mid-level-ontology.kif 22203-22203	Reflexive process is a subclass of autonomic process
(documentation ReflexiveProcess EnglishLanguage "Any Muscle reaction which is a response to a specific stimulus and which does not reach the level of consciousness.")	Mid-level-ontology.kif 22204-22205	Reflexive process is a subclass of autonomic process

appearance as argument number 2

(termFormat EnglishLanguage ReflexiveProcess "reflexive process")	domainEnglishFormat.kif 49137-49137
(termFormat ChineseTraditionalLanguage ReflexiveProcess "反思過程")	domainEnglishFormat.kif 49138-49138
(termFormat ChineseLanguage ReflexiveProcess "反思过程")	domainEnglishFormat.kif 49139-49139

antecedent

(=>
    (instance ?P ReflexiveProcess)
    (exists (?M)
        (and
            (instance ?M Muscle)
            (patient ?P ?M))))

If X is an instance of reflexive process, then there exists Y such that Y is an instance of muscle and Y is a patient of X