TreeView Knowledge Base Browser - 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 10571-10572
(documentation OrganizationalProcess JapaneseLanguage "Organization を含む　 IntentionalProcess 。")	japanese_format.kif 1695-1696
(subclass OrganizationalProcess IntentionalProcess)	Merge.kif 10569-10569

appearance as argument number 2

(subclass BeginningOperations OrganizationalProcess)	Mid-level-ontology.kif 16315-16315
(subclass CarDistributionSystem OrganizationalProcess)	Transportation.kif 2254-2254
(subclass CeasingOperations OrganizationalProcess)	Mid-level-ontology.kif 16353-16353
(subclass Election OrganizationalProcess)	Merge.kif 10585-10585
(subclass Exporting OrganizationalProcess)	Economy.kif 2395-2395
(subclass Firing OrganizationalProcess)	Merge.kif 10715-10715
(subclass Founding OrganizationalProcess)	Mid-level-ontology.kif 925-925
(subclass Hiring OrganizationalProcess)	Merge.kif 10639-10639
(subclass JoiningAnOrganization OrganizationalProcess)	Merge.kif 10607-10607
(subclass LaborStriking OrganizationalProcess)	Mid-level-ontology.kif 16938-16938
(subclass LeavingAnOrganization OrganizationalProcess)	Merge.kif 10679-10679
(subclass Managing OrganizationalProcess)	Merge.kif 10860-10860
(subclass MilitaryProcess OrganizationalProcess)	Merge.kif 10845-10845
(subclass OrganizationalMerging OrganizationalProcess)	Mid-level-ontology.kif 16328-16328
(subclass PoliticalProcess OrganizationalProcess)	Merge.kif 10784-10784
(subclass PublicProgram OrganizationalProcess)	MilitaryProcesses.kif 1375-1375
(subclass ReligiousProcess OrganizationalProcess)	Merge.kif 10591-10591
(subclass TransferringPosition OrganizationalProcess)	Mid-level-ontology.kif 16970-16970
(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
(domain beforeTaxIncome 3 OrganizationalProcess)	FinancialOntology.kif 3347-3347
(domain incomeEarned 3 OrganizationalProcess)	FinancialOntology.kif 3293-3293
(domain taxDeferredIncome 3 OrganizationalProcess)	FinancialOntology.kif 3307-3307

antecedent

(=>
    (and
        (instance ?ACT OrganizationalProcess)
        (agent ?ACT ?AGENT))
    (or
        (instance ?AGENT Organization)
        (exists (?ORG)
            (and
                (instance ?ORG Organization)
                (member ?AGENT ?ORG)))))

Merge.kif 10574-10583

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

KB Term:			Term intersection

English Word: