Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationalProcess

Sigma KEE - OrganizationalProcess
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


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners