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 10455-10456
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10453-10453

appearance as argument number 2
-------------------------


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 15784-15784
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2247-2247
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 15822-15822
(subclass Election OrganizationalProcess) Merge.kif 10469-10469
(subclass Firing OrganizationalProcess) Merge.kif 10582-10582
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 899-899
(subclass Hiring OrganizationalProcess) Merge.kif 10506-10506
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10491-10491
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 16405-16405
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10546-10546
(subclass Managing OrganizationalProcess) Merge.kif 10725-10725
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10710-10710
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 15797-15797
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10651-10651
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1375-1375
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10475-10475
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 16437-16437
(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 10458-10467


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