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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OrganizationalProcess

 Sigma KEE - OrganizationalProcess
OrganizationalProcess(ProcessoOrganizzativo)

appearance as argument number 1
-------------------------


(documentation OrganizationalProcess ChineseLanguage "") chinese_format.kif 2942-2942
(documentation OrganizationalProcess EnglishLanguage "An IntentionalProcess that involves an Organization.") Merge.kif 10537-10538
(documentation OrganizationalProcess JapaneseLanguage "Organization を含む　 IntentionalProcess 。") japanese_format.kif 1695-1696
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10535-10535 ProcessoOrganizzativo è una sottoclasse di ProcessoIntenzionale

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


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 16288-16288 BeginningOperations è una sottoclasse di ProcessoOrganizzativo
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2248-2248 CarDistributionSystem è una sottoclasse di ProcessoOrganizzativo
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 16326-16326 CeasingOperations è una sottoclasse di ProcessoOrganizzativo
(subclass Election OrganizationalProcess) Merge.kif 10551-10551 Election è una sottoclasse di ProcessoOrganizzativo
(subclass Exporting OrganizationalProcess) Economy.kif 2395-2395 Exporting è una sottoclasse di ProcessoOrganizzativo
(subclass Firing OrganizationalProcess) Merge.kif 10681-10681 Firing è una sottoclasse di ProcessoOrganizzativo
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 932-932 Founding è una sottoclasse di ProcessoOrganizzativo
(subclass Hiring OrganizationalProcess) Merge.kif 10605-10605 Assunzione è una sottoclasse di ProcessoOrganizzativo
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10573-10573 AdesioneAdUn'Organizzazione è una sottoclasse di ProcessoOrganizzativo
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 16911-16911 LaborStriking è una sottoclasse di ProcessoOrganizzativo
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10645-10645 AbbandonoDiUn'Organizzazione è una sottoclasse di ProcessoOrganizzativo
(subclass Managing OrganizationalProcess) Merge.kif 10826-10826 Gestione è una sottoclasse di ProcessoOrganizzativo
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10811-10811 ProcessoMilitare è una sottoclasse di ProcessoOrganizzativo
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 16301-16301 OrganizationalMerging è una sottoclasse di ProcessoOrganizzativo
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10750-10750 ProcessoPolitico è una sottoclasse di ProcessoOrganizzativo
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1375-1375 PublicProgram è una sottoclasse di ProcessoOrganizzativo
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10557-10557 ProcessoReligioso è una sottoclasse di ProcessoOrganizzativo
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 16943-16943 TransferringPosition è una sottoclasse di ProcessoOrganizzativo
(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 Il numero 3 argomenti di afterTaxIncome è un istanza di ProcessoOrganizzativo
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3347-3347 Il numero 3 argomenti di beforeTaxIncome è un istanza di ProcessoOrganizzativo
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3293-3293 Il numero 3 argomenti di incomeEarned è un istanza di ProcessoOrganizzativo
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3307-3307 Il numero 3 argomenti di taxDeferredIncome è un istanza di ProcessoOrganizzativo

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


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


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