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

Formal Language: 


KB Term:  Term intersection
English Word: 

  OrganizationalProcess

 Sigma KEE - OrganizationalProcess
OrganizationalProcess(organizational process)acceptance_sampling, act, ad_blitz, ad_campaign, advertising_campaign, affiance, affiliate, affiliation, allotted, anodise, anodize, appointed, appointive, assigned, assignment, bank, bank_closing, betroth, brigade, centralised, centralized, charge, cheerlead, choose_up, clampdown, clock_in, clock_on, closure, cloture, co-opt, co-sign, collectivise, collectivize, commission, confirm, consolidate, convene, cosign, criminalisation, criminalization, cross-file, da'wah, dawah, decentralised, decentralized, decriminalisation, decriminalization, demob, demobilise, demobilize...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2942-2942
No TPTP formula. May not be expressible in strict first order. Merge.kif 10675-10676
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1695-1696
No TPTP formula. May not be expressible in strict first order. Merge.kif 10673-10673 Organizational process is a subclass of intentional process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17675-17675 Beginning operations is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2423-2423 Car distribution system is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17713-17713 Ceasing operations is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10689-10689 Election is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Economy.kif 2635-2635 Exporting is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10819-10819 Firing is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 925-925 Founding is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10743-10743 Hiring is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Economy.kif 2802-2802 Importing is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10711-10711 Joining an organization is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18298-18298 Labor striking is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10783-10783 Leaving an organization is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10964-10964 Managing is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10949-10949 Military process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17688-17688 Organizational merging is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10888-10888 Political process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 1375-1375 Public program is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Merge.kif 10695-10695 Religious process is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18330-18330 Transferring position is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1094-1094 Transferring position is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. english_format.kif 1399-1399 Transferring position is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. french_format.kif 772-772 Transferring position is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 304-304 Transferring position is a subclass of organizational process
No TPTP formula. May not be expressible in strict first order. terms-it.txt 307-307 Transferring position is a subclass of organizational process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3344-3344 The number 3 argument of after tax income is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3364-3364 The number 3 argument of before tax income is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3310-3310 The number 3 argument of income earned is an instance of organizational process
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3324-3324 The number 3 argument of tax deferred income is an instance of organizational process

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10678-10687


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