TreeView Knowledge Base Browser - OrganizationalProcess

appearance as argument number 1

(documentation OrganizationalProcess ChineseLanguage "")	chinese_format.kif 2942-2942
(documentation OrganizationalProcess EnglishLanguage "An IntentionalProcess that involves an Organization.")	Merge.kif 10442-10443
(subclass OrganizationalProcess IntentionalProcess)	Merge.kif 10440-10440

appearance as argument number 2

(subclass BeginningOperations OrganizationalProcess)	Mid-level-ontology.kif 15729-15729
(subclass CarDistributionSystem OrganizationalProcess)	Transportation.kif 2255-2255
(subclass CeasingOperations OrganizationalProcess)	Mid-level-ontology.kif 15767-15767
(subclass Election OrganizationalProcess)	Merge.kif 10456-10456
(subclass Firing OrganizationalProcess)	Merge.kif 10569-10569
(subclass Founding OrganizationalProcess)	Mid-level-ontology.kif 893-893
(subclass Hiring OrganizationalProcess)	Merge.kif 10493-10493
(subclass JoiningAnOrganization OrganizationalProcess)	Merge.kif 10478-10478
(subclass LaborStriking OrganizationalProcess)	Mid-level-ontology.kif 16350-16350
(subclass LeavingAnOrganization OrganizationalProcess)	Merge.kif 10533-10533
(subclass Managing OrganizationalProcess)	Merge.kif 10712-10712
(subclass MilitaryProcess OrganizationalProcess)	Merge.kif 10697-10697
(subclass OrganizationalMerging OrganizationalProcess)	Mid-level-ontology.kif 15742-15742
(subclass PoliticalProcess OrganizationalProcess)	Merge.kif 10638-10638
(subclass PublicProgram OrganizationalProcess)	MilitaryProcesses.kif 1375-1375
(subclass ReligiousProcess OrganizationalProcess)	Merge.kif 10462-10462
(subclass TransferringPosition OrganizationalProcess)	Mid-level-ontology.kif 16382-16382
(termFormat ChineseLanguage OrganizationalProcess "机构性过程")	chinese_format.kif 1094-1094
(termFormat EnglishLanguage OrganizationalProcess "organizational process")	english_format.kif 1399-1399

appearance as argument number 3

(domain afterTaxIncome 3 OrganizationalProcess)	FinancialOntology.kif 3333-3333
(domain beforeTaxIncome 3 OrganizationalProcess)	FinancialOntology.kif 3353-3353
(domain incomeEarned 3 OrganizationalProcess)	FinancialOntology.kif 3299-3299
(domain taxDeferredIncome 3 OrganizationalProcess)	FinancialOntology.kif 3313-3313

antecedent

(=>
    (and
        (instance ?ACT OrganizationalProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT Organization)
        (exists (?ORG)
            (and
                (instance ?ORG Organization)
                (member ?AGENT ?ORG)))))

Merge.kif 10445-10454