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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OrganizationalProcess
OrganizationalProcess(sangathan sanbandhii prakriyaa)

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


(documentation OrganizationalProcess ChineseLanguage "") chinese_format.kif 2942-2942
(documentation OrganizationalProcess EnglishLanguage "An IntentionalProcess that involves an Organization.") Merge.kif 10660-10661
(documentation OrganizationalProcess JapaneseLanguage "Organization を含む　 IntentionalProcess 。") japanese_format.kif 1695-1696
(subclass OrganizationalProcess IntentionalProcess) Merge.kif 10658-10658

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


(subclass BeginningOperations OrganizationalProcess) Mid-level-ontology.kif 17695-17695
(subclass CarDistributionSystem OrganizationalProcess) Transportation.kif 2423-2423
(subclass CeasingOperations OrganizationalProcess) Mid-level-ontology.kif 17733-17733
(subclass Election OrganizationalProcess) Merge.kif 10674-10674
(subclass Exporting OrganizationalProcess) Economy.kif 2635-2635
(subclass Firing OrganizationalProcess) Merge.kif 10804-10804
(subclass Founding OrganizationalProcess) Mid-level-ontology.kif 925-925
(subclass Hiring OrganizationalProcess) Merge.kif 10728-10728
(subclass Importing OrganizationalProcess) Economy.kif 2802-2802
(subclass JoiningAnOrganization OrganizationalProcess) Merge.kif 10696-10696
(subclass LaborStriking OrganizationalProcess) Mid-level-ontology.kif 18318-18318
(subclass LeavingAnOrganization OrganizationalProcess) Merge.kif 10768-10768
(subclass Managing OrganizationalProcess) Merge.kif 10949-10949
(subclass MilitaryProcess OrganizationalProcess) Merge.kif 10934-10934
(subclass OrganizationalMerging OrganizationalProcess) Mid-level-ontology.kif 17708-17708
(subclass PoliticalProcess OrganizationalProcess) Merge.kif 10873-10873
(subclass PublicProgram OrganizationalProcess) MilitaryProcesses.kif 1375-1375
(subclass ReligiousProcess OrganizationalProcess) Merge.kif 10680-10680
(subclass TransferringPosition OrganizationalProcess) Mid-level-ontology.kif 18350-18350
(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

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 3344-3344
(domain beforeTaxIncome 3 OrganizationalProcess) FinancialOntology.kif 3364-3364
(domain incomeEarned 3 OrganizationalProcess) FinancialOntology.kif 3310-3310
(domain taxDeferredIncome 3 OrganizationalProcess) FinancialOntology.kif 3324-3324

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


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


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