TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Registering Stating)	Mid-level-ontology.kif 872-872	Registering is a subclass of stating
(subclass Registering PoliticalProcess)	Mid-level-ontology.kif 873-873	Registering is a subclass of political process
(documentation Registering EnglishLanguage "Submitting official paperwork in a government agency, e.g. filing for divorce, making a legal claim against someone.")	Mid-level-ontology.kif 874-875	Registering is a subclass of political process

appearance as argument number 2

(termFormat EnglishLanguage Registering "registering")	domainEnglishFormat.kif 49245-49245
(termFormat ChineseTraditionalLanguage Registering "註冊")	domainEnglishFormat.kif 49246-49246
(termFormat ChineseLanguage Registering "注册")	domainEnglishFormat.kif 49247-49247

consequent

(=>
    (instance ?ACTION LegalAction)
    (exists (?REGISTER)
        (and
            (instance ?REGISTER Registering)
            (subProcess ?REGISTER ?ACTION))))

If X is an instance of legal action, then there exists Y such that Y is an instance of registering and Y is a subprocess of X