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 EnglishLanguage "An IntentionalProcess that involves an Organization.") Merge.kif 10579-10580
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10578-10578 机构性过程有意图过程subclass

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


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 13934-13934 BeginningOperations机构性过程subclass
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2209-2209 CarDistributionSystem机构性过程subclass
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 13972-13972 CeasingOperations机构性过程subclass
(subclass Election OrganizationalProcess) Merge.kif 10593-10593 Election机构性过程subclass
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 1321-1321 Founding机构性过程subclass
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10617-10617 加入一个机构机构性过程subclass
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 14466-14466 LaborStriking机构性过程subclass
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10633-10633 离开一个机构机构性过程subclass
(subclass Managing OrganizationalProcess) Merge.kif 10791-10791 管理机构性过程subclass
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10772-10772 军事过程机构性过程subclass
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 13947-13947 OrganizationalMerging机构性过程subclass
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10707-10707 政治过程机构性过程subclass
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1363-1363 PublicProgram机构性过程subclass
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10600-10600 宗教过程机构性过程subclass
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 14498-14498 TransferringPosition机构性过程subclass
(termFormat ChineseLanguage OrganizationalProcess "机构性过程") chinese_format.kif 1094-1094 termFormat ChineseLanguage, 机构性过程 and "机构性过程"
(termFormat EnglishLanguage OrganizationalProcess "organizational process") english_format.kif 1353-1353 termFormat EnglishLanguage, 机构性过程 and "organizational process"
(termFormat JapaneseLanguage OrganizationalProcess "組織プロセス") english_format.kif 1354-1354 termFormat JapaneseLanguage, 机构性过程 and "組織プロセス"

appearance as argument number 3
-------------------------


(domain afterTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3218-3218 afterTaxIncome 的 3 数量 是 机构性过程instance
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3235-3235 beforeTaxIncome 的 3 数量 是 机构性过程instance
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3184-3184 incomeEarned 的 3 数量 是 机构性过程instance
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3198-3198 taxDeferredIncome 的 3 数量 是 机构性过程instance

antecedent
-------------------------


(=>
    (and
        (instance ?ACT OrganizationalProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT Organization)
        (exists (?ORG)
            (and
                (instance ?ORG Organization)
                (member ?AGENT ?ORG)))))
Merge.kif 10582-10591


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners