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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 10559-10560
(documentation OrganizationalProcess JapaneseLanguage "Organization を含む  IntentionalProcess 。") japanese_format.kif 1695-1696
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10557-10557 組織プロセス意図的なプロセスsubclass では %n

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


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 16287-16287 BeginningOperations組織プロセスsubclass では %n
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2248-2248 CarDistributionSystem組織プロセスsubclass では %n
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 16325-16325 CeasingOperations組織プロセスsubclass では %n
(subclass Election OrganizationalProcess) Merge.kif 10573-10573 Election組織プロセスsubclass では %n
(subclass Exporting OrganizationalProcess) Economy.kif 2395-2395 Exporting組織プロセスsubclass では %n
(subclass Firing OrganizationalProcess) Merge.kif 10703-10703 Firing組織プロセスsubclass では %n
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 932-932 Founding組織プロセスsubclass では %n
(subclass Hiring OrganizationalProcess) Merge.kif 10627-10627 雇用組織プロセスsubclass では %n
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10595-10595 組織に加入組織プロセスsubclass では %n
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 16910-16910 LaborStriking組織プロセスsubclass では %n
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10667-10667 組織を脱退組織プロセスsubclass では %n
(subclass Managing OrganizationalProcess) Merge.kif 10848-10848 管理組織プロセスsubclass では %n
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10833-10833 軍事プロセス組織プロセスsubclass では %n
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 16300-16300 OrganizationalMerging組織プロセスsubclass では %n
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10772-10772 政治的プロセス組織プロセスsubclass では %n
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1375-1375 PublicProgram組織プロセスsubclass では %n
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10579-10579 宗教的プロセス組織プロセスsubclass では %n
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 16942-16942 TransferringPosition組織プロセスsubclass では %n
(termFormat ChineseLanguage OrganizationalProcess "机构性过程") chinese_format.kif 1094-1094
(termFormat EnglishLanguage OrganizationalProcess "organizational process") english_format.kif 1399-1399
(termFormat FrenchLanguage OrganizationalProcess "processus organisationnel") french_format.kif 772-772
(termFormat Hindi OrganizationalProcess "sangathan sanbandhii prakriyaa") terms-hindi.txt 304-304
(termFormat ItalianLanguage OrganizationalProcess "ProcessoOrganizzativo") terms-it.txt 307-307
(termFormat JapaneseLanguage OrganizationalProcess "組織プロセス") japanese_format.kif 2456-2456

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain afterTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3327-3327 afterTaxIncome の数値 3 引数は 組織プロセスinstance では %n
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3347-3347 beforeTaxIncome の数値 3 引数は 組織プロセスinstance では %n
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3293-3293 incomeEarned の数値 3 引数は 組織プロセスinstance では %n
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3307-3307 taxDeferredIncome の数値 3 引数は 組織プロセスinstance では %n

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


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


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



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